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: 
371-380 trong số 407 kết quả
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ỏ
 
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ỏ
 
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ỏ
 
Complex & Intelligent Systems
Tác giả:
Xuất bản: : Springer, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
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
 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ỏ
 
Preclinical development handbook, ADME and biopharmaceutical properties
Tác giả: Shayne C Gad
Xuất bản: Hoboken NJ: WileyInterscience, 2008
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  615.7
 Thêm vào giỏ
 
Trước 36 37 38 39 40 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