Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
391-400 trong số 423 kết quả
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ỏ
 
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ỏ
 
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ỏ
 
Preclinical development handbook, ADME and biopharmaceutical properties
Tác giả: Shayne C Gad
Xuất bản: Hoboken, N.J: Wiley-Interscience , 2008
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  615.7
 Thêm vào giỏ
 
Statistical Mechanics of Nonequilbrium Liquids
Tác giả: Denis J Evans, Gary P Morriss
Xuất bản: Canberra: ANU Press , 2007
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  530.13
 Thêm vào giỏ
 
Modeling of the Phase Change Material of a Hybrid Storage using the Finite Element Method
Tác giả: Lukas Kasper
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  620
 Thêm vào giỏ
 
Trước 38 39 40 41 42 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo