Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 45 kết quả
Knowledge structures for communications in human-computer systems [electronic resource] : general automata-based
Tác giả: Eldo C Koenig
Xuất bản: Hoboken New Jersey: WileyInterscience, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.019
 
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune
Tác giả: Maria Paola Bonacina, Mark E Stickel
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland
Tác giả: Peter Müller, Peter Müller
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Revealing Media Bias in News Articles NLP Techniques for Automated Frame Analysis
Tác giả: Felix Hamborg
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
New Frontiers in Parallel Robots
Tác giả: Zhufeng Shao, Caro Stéphane, Caro Stéphane, Zhufeng Shao, Dan Zhang, Dan Zhang
Xuất bản: Basel: MDPI Multidisciplinary Digital Publishing Institute, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Handbook of learning and approximate dynamic programming
Tác giả: Jennie Si
Xuất bản: Hoboken New Jersey: IEEE Press, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc:  519.703
 
Argumentation in Multi-Agent Systems [electronic resource] : 7th International Workshop, ArgMAS 2010, Toronto, Canada, M...
Tác giả: Peter McBurney, Simon D Parsons, Iyad Rahwan
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, Ma...
Tác giả: Peter McBurney, Simon Parsons, Iyad Rahwan
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Foundations of Probabilistic Programming
Tác giả: Gilles Barthe, Gilles Barthe, Joost-Pieter Katoen, Joost-Pieter Katoen, Alexandra Silva, Alexandra Silva
Xuất bản: Cambridge New York NY: Cambridge University Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  001.642
 

Truy cập nhanh danh mục