Loại tài liệu:    Chỉ tìm trong: 
421-430 trong số 739 kết quả
Autonomous Search [electronic resource]
Tác giả: Youssef Hamadi, Eric Monfroy, Frédéric Saubion
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
 
Biomedical Image Registration [electronic resource] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-...
Tác giả: Gary E Christensen, Benoit Dawant, J Michael Fitzpatrick, Daniel Rueckert
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.37
 
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
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
 
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, ...
Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
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
 
Business Process Management Workshops [electronic resource] : BPM 2008 International Workshops, Milano, Italy, September...
Tác giả: Danilo Ardagna, Massimo Mecella, Jian Yang
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:  330.0151
 
Combinatorial Search: From Algorithms to Systems [electronic resource]
Tác giả: Youssef Hamadi
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
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TA...
Tác giả: Didier Galmiche, Dominique Larchey-Wendling
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
 
Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002, Malaga, Spain, Ju...
Tác giả: Ricardo Conejo, Stephan Eidenbenz, Matthew Hennessy, Rafael Morales, Francisco Triguero, Peter Widmayer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bayesian Networks and Decision Graphs [electronic resource]
Tác giả: Thomas Dyhre Nielsen, FINN VERNER JENSEN
Xuất bản: New York, NY: Springer New York : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  519
 
Statistical computing in C++ and R
Tác giả: Randall L Eubank, Ana Kupresanin
Xuất bản: Boca Raton: CRC Press , c2012.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  519.502855133
 

Truy cập nhanh danh mục