Loại tài liệu:    Chỉ tìm trong: 
301-310 trong số 654 kết quả
Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d'Andrat...
Tác giả: Robert B Fisher, Francisco Jose Perales Lopez
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sany...
Tác giả: Hepu Deng, Jingsheng Lei, Fu Lee Wang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TA...
Tác giả: Kai Brünnler, George Metcalfe
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
 
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
Tác giả: Luca Aceto, Monika Henzinger, Jiri Sgall
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:  004.0151
 
Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Po...
Tác giả: Nikolaj Bjørner, Viorica Sofronie-Stokkermans
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
 
Communication and Networking [electronic resource] : International Conference, FGCN/ACN 2009, Held as Part of the Future...
Tác giả: MingChu Li, Kouichi Sakurai, Dominik Slezak, Thanos Vasilakos
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.6
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TA...
Tác giả: Martin Giese, Arild Waaler
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:  006.3
 
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
 
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