Loại tài liệu:    Chỉ tìm trong: 
411-420 trong số 423 kết quả
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Annals of Scientific Society for Assembly, Handling and Industrial Robotics [electronic resource]
Tác giả: Dominik Henrich, Thorsten Schüppstuhl, Kirsten Tracht
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 
Methodological Investigations in Agent-Based Modelling [electronic resource] : With Applications for the Social Sciences
Tác giả: Eric Silverman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  300.1
 
Chinese Water Systems : Volume 4: Applied Water Management in China
Tác giả: Max Dohmann, Max Dohmann, Martin Grambow, Martin Grambow, Yonghui Song, Yonghui Song, Paul Wermter, Paul Wermter
Xuất bản: Cham, Switzerland: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
In silico methods for predicting drug toxicity
Tác giả: Emilio Benfenati
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  615.704
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Medical modelling : the application of advanced design and rapid prototyping techniques in medicine
Tác giả: Richard Bibb, Dominic Eggbeer, Abby Paterson
Xuất bản: Amsterdam ; Boston: Elsevier/WP, Woodhead Publishing is an imprint of Elsevier , 2015.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  610.3
 
Chinese Water Systems [electronic resource] : Volume 4: Applied Water Management in China
Tác giả: Max Dohmann, Martin Grambow, Yonghui Song, Paul Wermter
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  363.728
 
Anti-fragile ICT Systems
Tác giả: Kjell Jørgen Hole
Xuất bản: Cham: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 

Truy cập nhanh danh mục