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: 
321-330 trong số 1149 kết quả
Combinatorial Pattern Matching [electronic resource] : 11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 20...
Tác giả: Raffaele Giancarlo, David Sankoff
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.4
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerla...
Tác giả: Ugo Montanari, Jose DP Rolim, Emo Welzl
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:  004.0151
 Thêm vào giỏ
 
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, P...
Tác giả: David McAllester
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ỏ
 
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ỏ
 
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ỏ
 
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000, Swansea, UK, Sept...
Tác giả: Jens Blanck, Vasco Brattka, Peter Hertling
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:  004.0151
 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ỏ
 
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
Tác giả: Oliver Boldt, Helmut Jürgensen
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:  005.45
 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ỏ
 
Trước 31 32 33 34 35 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