Loại tài liệu:    Chỉ tìm trong: 
591-600 trong số 622 kết quả
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
Tác giả: Thorsten Schüppstuhl, Dominik Henrich, Dominik Henrich, Thorsten Schüppstuhl, Kirsten Tracht, Kirsten Tracht
Xuất bản: Berlin Germany: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Tác giả: Jing Wang, Xiaolu Chen, Jinglin Zhou
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites : Design of Tough, Transformation-Strengthened Composites and ...
Tác giả: Horst Biermann, Christos G Aneziris, Christos G Aneziris, Horst Biermann
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  669.142
 
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
 
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
 
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
 
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
 
Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach
Tác giả: Roberto Setola, Elias Kyriakides, Elias Kyriakides, Erich Rome, Erich Rome, Vittorio Rosato, Vittorio Rosato, Roberto Setola
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Model America ? data and models of every U.S. building [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Energy Efficiency and Renewable Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
Bộ sưu tập: Metadata
ddc:  643.7
 

Truy cập nhanh danh mục