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: 
101-110 trong số 118 kết quả
Annals of Scientific Society for Assembly, Handling and Industrial Robotics [electronic resource]
Tác giả: Dominik Henrich, Thorsten Schüppstuhl, Kirsten Tracht
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 Thêm vào giỏ
 
Proceedings of the 2020 DigitalFUTURES [electronic resource] : The 2nd International Conference on Computational Design ...
Tác giả: Neil Leach, Xiang Wang, Chao Yan, Jiawei Yao, Philip F Yuan
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 Thêm vào giỏ
 
Natural Computing and Beyond [electronic resource] : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th In...
Tác giả: Toshiyuki Nakagaki, Yasuhiro Suzuki
Xuất bản: Tokyo: Springer Japan : Imprint: Springer , 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.3
 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ỏ
 
Cyber-Physical Systems: A Model-Based Approach [electronic resource]
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
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:  004.6
 Thêm vào giỏ
 
Methodological Investigations in Agent-Based Modelling [electronic resource] : With Applications for the Social Sciences
Tác giả: Eric Silverman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  300.1
 Thêm vào giỏ
 
Software for Exascale Computing - SPPEXA 2016-2019 [electronic resource]
Tác giả: Hans-Joachim Bungartz, Wolfgang E Nagel, Philipp Neumann, Severin Reiz, Benjamin Uekermann
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:  003.3
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
Tác giả: Reiner Hähnle, Wil van der Aalst
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.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 9 10 11 12 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