Loại tài liệu:    Chỉ tìm trong: 
161-170 trong số 179 kết quả
Powders
Tác giả:
Xuất bản: : MDPI AG, 2023
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Ceramics
Tác giả:
Xuất bản: : MDPI AG, 2019
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Robotica & Management
Tác giả:
Xuất bản: : Editura Eftimie Murgu, 2016
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Cyber-Physical Systems: A Model-Based Approach [electronic resource]
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
Xuất bản: : Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
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 Federat...
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
 
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
 
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
 

Truy cập nhanh danh mục