Loại tài liệu:    Chỉ tìm trong: 
931-940 trong số 962 kết quả
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
 
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
 
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
 
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: 
 
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: 
 
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
 
Cấu trúc vốn tối ưu, hiệu quả hoạt động và rủi ro của ngân hàng thương mại Việt Nam: Bằng chư...
Tác giả: Trần Xuân Linh Nguyễn
Xuất bản: Nghiên cứu Tài chính Kế toán , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 
Ảnh hưởng của biến dạng và điện trường ngoài lên tính chất điện tử của đơn lớp HfSiSP2=Effect...
Tác giả: Quang Cường Nguyễn, Dụng Văn Lữ, Thị Phương Thảo Lê, Ngọc Hiếu Nguyễn, Thị Tuyết Vi Võ
Xuất bản: Tạp chí Khoa học và Công nghệ - Đại học Đà Nẵng , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 
Nghiên cứu đặc trưng cấu trúc trong quá trình nguội của ô-xít Al2O3-SiO2-CaO=Studying the structural cha...
Tác giả: Văn Vinh Lê, Thị Thảo Nguyễn
Xuất bản: Tạp chí Khoa học và Công nghệ - Đại học Đà Nẵng , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục