Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 230 kết quả
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
Tác giả: Thorsten Schüppstuhl, Dominik Henrich, Dominik Henrich, Thorsten Schüppstuhl, Kirsten Tracht, Kirsten Tracht
Xuất bản: Berlin Germany: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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
 
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
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
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
 
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
 
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
 
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
 
Anti-fragile ICT Systems
Tác giả: Kjell Jørgen Hole
Xuất bản: Cham: Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
ENIAC in action : making and remaking the modern computer
Tác giả: Thomas Haigh, Mark Priestley, Crispin Rope
Xuất bản: Cambridge Massachusetts: The MIT Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.09
 

Truy cập nhanh danh mục