Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 191 kết quả
Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ...
Tác giả: Stefania Bandini, Georgios Ch Sirakoulis
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:  004.0151
 
Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-2...
Tác giả: Subramanian Arumugam, W F Symth
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:  004.0151
 
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December ...
Tác giả: Chris Hawblitzel, Dale Miller
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:  004.0151
 
Computable Models [electronic resource]
Tác giả: raymond turner
Xuất bản: London: Springer London : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Auctions, Market Mechanisms and Their Applications [electronic resource] : First International ICST Conference, AMMA 200...
Tác giả: Sanmay Das, Michael Ostrovsky, David Pennock, Boleslaw K Szymanski
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
 
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
 
Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009...
Tác giả: Uwe Aickelin, Paul S Andrews, Emma Hart, Andrew Hone, Nick D L Owens, Jon Timmis, Andy Tyrrell
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
 
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
 
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
 

Truy cập nhanh danh mục