Loại tài liệu:    Chỉ tìm trong: 
411-420 trong số 440 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: 
 
Chapter Hesperia, a Database for Palaeohispanic Languages; and AELAW, a Database for the Ancient European Languages and ...
Tác giả: María José Estarán, Francisco Beltrán, Annamaria De Santis, Annamaria De Santis, Joaquín Gorrochategui, Eduardo Orduña, Irene Rossi, Irene Rossi
Xuất bản: Berlin ; Boston: De Gruyter , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  411.7
 
Additive Manufacturing Technologies and Applications
Tác giả: Carlo Giovanni Ferro (Ed), Paolo Maggiore (Ed), Salvatore Brischetto (Ed)
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.988
 
Groundwater overexploitation in the North China Plain: A path to sustainability
Tác giả: Wolfgang Kinzelbach, Ning Li, Yu Li, Haijing Wang, Lu Wang
Xuất bản: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 
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: 
 
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
 
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
 

Truy cập nhanh danh mục