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: 
771-780 trong số 811 kết quả
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: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
A Systems Approach to Bio-Oil Stabilization - Final Technical Report [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2011
Bộ sưu tập: Metadata
ddc:  666.9
 Thêm vào giỏ
 
FY2015 Vehicle Systems Annual Progress Report [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Office of the Assistant Secretary of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2016
Bộ sưu tập: Metadata
ddc:  621.43
 Thêm vào giỏ
 
Handbook of Ocean Wave Energy
Tác giả: Arthur Pecher, Jens Peter Kofoed, Jens Peter Kofoed, Arthur Pecher
Xuất bản: Cham: Springer Nature , 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  333.914
 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, 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
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
In silico methods for predicting drug toxicity
Tác giả: Emilio Benfenati
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  615.704
 Thêm vào giỏ
 
Trước 76 77 78 79 80 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