Loại tài liệu:    Chỉ tìm trong: 
961-970 trong số 976 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
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.1015113
 
Finding the Limits of the Limes [electronic resource] : Modelling Demography, Economy and Transport on the Edge of the R...
Tác giả: Mark R Groenhuijzen, Jamie Joyce, Philip Verhagen
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:  300.00285
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
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
 
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
 
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
 
BIM handbook : a guide to building information modeling for owners, managers, designers, engineers and contractors
Tác giả: Charles M Eastman
Xuất bản: Hoboken, NJ: Wiley , 2011
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  690.0285
 
Solving PDEs in Python : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham, Switzerland: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 
Future Space-Transport-System Components under High Thermal and Mechanical Loads : Results from the DFG Collaborative Re...
Tác giả: Nikolaus A Adams, Nikolaus A Adams, Oskar J Haidn, Oskar J Haidn, Rolf Radespiel, Rolf Radespiel, Thomas Sattelmayer, Thomas Sattelmayer, Wolfgang Schröder, Wolfgang Schröder, Christian Stemmer, Christian Stemmer, Bernhard Weigand, Bernhard Weigand
Xuất bản: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  629.47522
 
i-section steel columns using hybrid artificial neural network (ann) and monte carlo simulation (MCS)
Tác giả: Duy Duẩn Nguyễn, Trọng Hà Nguyễn
Xuất bản: Tạp chí Khoa học công nghệ xây dựng (Đại học Xây dựng Hà Nội , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 
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