Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 107 kết quả
Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
Tác giả: Costas S Iliopoulos, William F Smyth
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
 
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
 
Behavior Computing [electronic resource] : Modeling, Analysis, Mining and Decision
Tác giả: Longbing Cao, Philip S Yu
Xuất bản: London: Springer London : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Cognitive Behavioural Systems [electronic resource] : COST 2102 International Training School, Dresden, Germany, Februar...
Tác giả: Anna Esposito, Antonietta M Esposito, Rüdiger Hoffmann, Vincent Müller, Alessandro Vinciarelli
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
 
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
 

Truy cập nhanh danh mục