Loại tài liệu:    Chỉ tìm trong: 
111-120 trong số 121 kết quả
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: 
 
Echtzeitsimulation in der Produktionsautomatisierung Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Di...
Tác giả:
Xuất bản: Berlin Heidelberg: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
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:  004.24
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
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: 
 
Chapter Noninvasive Acquisition of the Aortic Blood Pressure Waveform
Tác giả: Eiko Priidel, Paul Annus, Hip Kõiv, Mart Min, Ksenija Pesti
Xuất bản: : InTechOpen, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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
 

Truy cập nhanh danh mục