Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 5613 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Roy Dyckhoff
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Artificial Neural Nets and Genetic Algorithms [electronic resource] : Proceedings of the International Conference in Pra...
Tác giả: Miroslav Karny, Vera Kurkova, Roman Neruda, Nigel C Steele
Xuất bản: Vienna: Springer Vienna : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Combinatorial Pattern Matching [electronic resource] : 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001...
Tác giả: Amihood Amir, Gad M Landau
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.4
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Trước 2 3 4 5 6 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media