Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
221-230 trong số 236 kết quả
Mathematics and Life Sciences
Tác giả: Alexandra V Antoniouk, Alexandra V Antoniouk, Roderick V N Melnik, Roderick V N Melnik
Xuất bản: Berlin: De Gruyter, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  570.151
 Thêm vào giỏ
 
Control Systems and Computers
Tác giả:
Xuất bản: : International Research and Training Center for Information Technologies and Systems of NASU and MESU, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection [electronic resource]
Tác giả: Xuefeng Zhou, Shuai Li, Juan Rojas, Hongmin Wu, Zhihao Xu
Xuất bản: Singapore: Springer Singapore Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 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ỏ
 
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ỏ
 
Understanding statistics using R
Tác giả: Randall E Schumacker, Sara Tomek
Xuất bản: New York NY: Springer, 2013
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  Online Book
 Thêm vào giỏ
 
Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites [electronic resource] : Design of Tough, Transformation-Streng...
Tác giả: Christos G Aneziris, Horst Biermann
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:  620.11
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
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 [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Trước 21 22 23 24 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