Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 957 kết quả
Automated Theorem Proving in Software Engineering [electronic resource]
Tác giả: Johann M Schumann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence in Medicine [electronic resource] : 8th Conference on Artificial Intelligence in Medicine in Eur...
Tác giả: Steen Andreassen, Pedro Barahona, Silvana Quaglini
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Case-Based Reasoning Research and Development [electronic resource] : 4th International Conference on Case-Based Reasoni...
Tác giả: David W Aha, Ian Watson
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bio-Inspired Applications of Connectionism [electronic resource] : 6th International Work-Conference on Artificial and N...
Tác giả: Jose Mira, Alberto Prieto
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automated Deduction in Geometry [electronic resource] : Third International Workshop, ADG 2000, Zurich, Switzerland, Sep...
Tác giả: Jürgen Richter-Gebert, Dongming Wang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
BANTAM User Guide [electronic resource] : Biometric and Token Technology Application Modeling Language
Tác giả: Julian Ashbourn
Xuất bản: London: Springer London : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Classical and Evolutionary Algorithms in the Optimization of Optical Systems [electronic resource]
Tác giả: Darko Vasiljevic
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence in Design ’02 [electronic resource]
Tác giả: Asko Riitahuhta
Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Confe...
Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
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
 
Artificial Intelligence and Cognitive Science [electronic resource] : 13th Irish International Conference, AICS 2002, Li...
Tác giả: Malachy Eaton, Michael O'Neill, Conor Ryan, Richard FE Sutcliffe
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
 

Truy cập nhanh danh mục