Loại tài liệu:    Chỉ tìm trong: 
611-620 trong số 654 kết quả
Cyber-Physical Systems of Systems: Foundations ? A Conceptual Model and Some Derivations: The AMADEOS Legacy
Tác giả: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
Xuất bản: Cham: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proce...
Tác giả: Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Erol Gelenbe, Krzysztof Grochla, Krzysztof Grochla, Ricardo Lent, Ricardo Lent
Xuất bản: Cham: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
GIS A Computing Perspective Third Edition
Tác giả: Matt Duckham, Matt Duckham, Qian (Chayn) Sun, Qian (Chayn) Sun, Michael F Worboys, Michael F Worboys
Xuất bản: Taylor & Francis , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Advanced NXT [electronic resource] : the Da Vinci inventions book
Tác giả: Matthias Paul Scholz
Xuất bản: Berkeley, CA : New York: Apress ; Distributed to the Book trade by Springer-Verlag , 2007
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.8
 
A Journey of Embedded and Cyber-Physical Systems : Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthd...
Tác giả: Jian-Jia Chen, Jian-Jia Chen
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:  006.22
 
Zukunft der Arbeit in Industrie 4.0 [electronic resource]
Tác giả: Alfons Botthof, Ernst Andreas Hartmann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 
and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tác giả: Dirk Beyer, Marieke Huisman
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:  005.1015113
 
GUI Design for Android Apps [electronic resource]
Tác giả: Ryan Cohen, Tao Wang
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.167
 
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
 
Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Even...
Tác giả: Platzer André, Geoff Sutcliffe
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:  006.3
 

Truy cập nhanh danh mục