Loại tài liệu:    Chỉ tìm trong: 
311-320 trong số 654 kết quả
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
 
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
 
Artificial Evolution [electronic resource] : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, ...
Tác giả: Pierre Collet, Cyril Fonlupt, Pierre Liardet, Evelyne Lutton, Marc Schoenauer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling
Tác giả: Jiming Liu, XiaoLong Jin, Kwok Ching Tsui
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003
 
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : First Workshop on Combinatorial and Algorith...
Tác giả: Angèle Hamel, Alejandro López-Ortiz
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.3
 
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, ...
Tác giả: Yuxi Fu, Ji-Huan He, Jun Zhang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Bernhard Beckert
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
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