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: 
1441-1450 trong số 1798 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
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ỏ
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part o...
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Advances in Energy System Optimization [electronic resource] : Proceedings of the 2nd International Symposium on Energy ...
Tác giả: Armin Ardone, Valentin Bertsch, Wolf Fichtner, Vincent Heuveline, Thomas Leibfried, Michael Suriyah
Xuất bản: Cham: Springer International Publishing : Imprint: Birkhäuser , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  519.6
 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ỏ
 
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ỏ
 
Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites : Design of Tough, Transformation-Strengthened Composites and ...
Tác giả: Horst Biermann, Christos G Aneziris, Christos G Aneziris, Horst Biermann
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:  669.142
 Thêm vào giỏ
 
Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications
Tác giả: Christian Seifert, Sascha Trostorff, Marcus Waurick
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.35
 Thêm vào giỏ
 
Learning to Diagnose with Simulations : Examples from Teacher Education and Medical Education
Tác giả: Frank Fischer, Frank Fischer, Ansgar Opitz, Ansgar Opitz
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  616.075
 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ỏ
 
Trước 143 144 145 146 147 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