Loại tài liệu:    Chỉ tìm trong: 
631-640 trong số 1904 kết quả
Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 201...
Tác giả: Juha Kärkkäinen, Jens Stoye
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:  006.4
 
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
 
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, Jul...
Tác giả: Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
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:  518.1
 
Artificial Evolution [electronic resource] : 10th International Conference, Evolution Artificielle, EA 2011, Angers, Fra...
Tác giả: Pierre Collet, Jin-Kao Hao, Pierrick Legrand, Evelyne Lutton, Nicolas Monmarché, Marc Schoenauer
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:  006.3
 
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with E...
Tác giả: Dirk Pattinson, Lutz Schröder
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:  005.131
 
Bioinformatics in Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, O...
Tác giả: Ana Teresa Freitas, Arcadi Navarro
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:  570.113
 
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, Jul...
Tác giả: Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
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:  518.1
 
Artificial Intelligence and Soft Computing [electronic resource] : 11th International Conference, ICAISA 2012, Zakopane,...
Tác giả: Marcin Korytkowski, Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi Zadeh, Jacek Zurada
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:  006.3
 
Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, Ma...
Tác giả: Peter McBurney, Simon Parsons, Iyad Rahwan
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:  006.3
 
Communicability, Computer Graphics, and Innovative Design for Interactive Systems [electronic resource] : First Internat...
Tác giả: Francisco Cipolla Ficarra, Miguel Cipolla-Ficarra, Andreas Kratky, Kim Veltman
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.019
 

Truy cập nhanh danh mục