Loại tài liệu:    Chỉ tìm trong: 
1251-1260 trong số 2360 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao...
Tác giả: Zhiming Liu, Anders P Ravn
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Bio-Inspired Systems: Computational and Ambient Intelligence [electronic resource] : 10th International Work-Conference ...
Tác giả: Joan Cabestany, Juan Manuel Corchado Rodríguez, Alberto Prieto, Francisco Sandoval
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  570.113
 
Bioinformatics and Computational Biology [electronic resource] : First International Conference, BICoB 2009, New Orleans...
Tác giả: Sanguthevar Rajasekaran
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  570
 
Bioinspired Applications in Artificial and Natural Computation [electronic resource] : Third International Work-Conferen...
Tác giả: Jose-Ramon Alvarez Sanchez, José M Ferrández, Jose Mira, Felix Paz, Javier Toledo
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangsha...
Tác giả: Ding-Zhu Du, Xiaodong Hu, Panos M Pardalos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 
Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, C...
Tác giả: Peter Widmayer, Yinfeng Xu, Binhai Zhu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20...
Tác giả: Juhani Karhumäki, Arto Lepistö, Luca Zamboni
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:  004.0151
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
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:  004.0151
 
Artificial Neural Networks and Machine Learning -- ICANN 2013 [electronic resource] : 23rd International Conference on A...
Tác giả: Bruno Apolloni, Nikola K Kasabov, Petia Koprinkova-Hristova, Valeri Mladenov, Günther Palm, Alessandro Villa
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
 
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
 

Truy cập nhanh danh mục