Loại tài liệu:    Chỉ tìm trong: 
311-320 trong số 654 kết quả
Automated Deduction -- CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid...
Tác giả: Maria Paola Bonacina
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
 
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : 4th Workshop, CAAN 2007, Halifax, Canada, Au...
Tác giả: Jeannette Janssen, Pawel Pralat
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007 Tours, France...
Tác giả: Pierre Collet, Evelyne Lutton, Nicolas Monmarché, Marc Schoenauer, El-Ghazali Talbi
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, Augu...
Tác giả: Alessandro Armando, Peter Baumgartner, Gilles Dowek
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2...
Tác giả: Argyris Arnellos, John Darzentas, Spyros Vosinakis, George Vouros
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Cloud Portability and Interoperability [electronic resource] : Issues and Current Trends
Tác giả: Beniamino Di Martino, Giuseppina Cretella, Antonio Esposito
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Cognitive Computing – ICCC 2020 [electronic resource] : 4th International Conference, Held as Part of the Services Confe...
Tác giả: Yujiu Yang, Lei Yu, Liang-Jie Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Cognitive Computing – ICCC 2019 [electronic resource] : Third International Conference, Held as Part of the Services Con...
Tác giả: Jianzong Wang, Ruifeng Xu, Liang-Jie Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA...
Tác giả: Elisa Bertino, Zhaoqing Pan, Xingming Sun
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Uwe Egly, Christian G Fernmüller
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục