Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
361-370 trong số 396 kết quả
Railway infrastructure security
Tác giả:
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2015.
Bộ sưu tập: Xã hội, Kinh tế, Luật
eBook (pdf)
ddc:  363.122
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
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: 
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
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
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Software for Exascale Computing - SPPEXA 2016-2019 [electronic resource]
Tác giả: Hans-Joachim Bungartz, Wolfgang E Nagel, Philipp Neumann, Severin Reiz, Benjamin Uekermann
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.3
 Thêm vào giỏ
 
Proceedings of the 2020 DigitalFUTURES [electronic resource] : The 2nd International Conference on Computational Design ...
Tác giả: Neil Leach, Xiang Wang, Chao Yan, Jiawei Yao, Philip F Yuan
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 Thêm vào giỏ
 
High-Speed VLSI Interconnections
Tác giả: Ashok K Goel
Xuất bản: New Jersey: John Wiley & Sons, Inc , 2007
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  621.395
 Thêm vào giỏ
 
Trước 35 36 37 38 39 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media