Loại tài liệu:    Chỉ tìm trong: 
231-240 trong số 1219 kết quả
Biomaterials for Implants and Scaffolds [electronic resource]
Tác giả: Qing Li, Yiu-Wing Mai
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  620.19
 
Coding Theory, Cryptography and Related Areas [electronic resource] : Proceedings of an International Conference on Codi...
Tác giả: Johannes Buchmann, Tom Hoeholdt, Henning Stichtenoth, Horacio Tapia-Recillas
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:  003.54
 
CAD Tools and Algorithms for Product Design [electronic resource]
Tác giả: P Brunet, C Hoffmann, D Roller
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:  670.285
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 

Truy cập nhanh danh mục