Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
331-340 trong số 356 kết quả
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
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:  670.42
 Thêm vào giỏ
 
Innovations in Derivatives Markets: Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation
Tác giả: Kathrin Glau, Zorana Grbac, Matthias Scherer, Rudi Zagst
Xuất bản: Cham: Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Cyber-Physical Systems: A Model-Based Approach
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
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ỏ
 
Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction
Tác giả: Tetsuya Sumi, Sameh A Kantoush, Sameh A Kantoush, Mohamed Saber, Mohamed Saber, Tetsuya Sumi
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
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ỏ
 
Additive Manufacturing Technologies and Applications
Tác giả: Carlo Giovanni Ferro (Ed), Paolo Maggiore (Ed), Salvatore Brischetto (Ed)
Xuất bản: Basel Switzerland: MDPI Multidisciplinary Digital Publishing Institute, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.988
 Thêm vào giỏ
 
Groundwater overexploitation in the North China Plain: A path to sustainability
Tác giả: Wolfgang Kinzelbach, Ning Li, Yu Li, Haijing Wang, Lu Wang
Xuất bản: : Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 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ỏ
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 Thêm vào giỏ
 
Trước 32 33 34 35 36 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