Loại tài liệu:    Chỉ tìm trong: 
781-790 trong số 803 kết quả
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020...
Tác giả: Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems
Tác giả: Ciprian Dobre, Ivan Ganchev, Nuno M Garcia, Rossitza Goleva, Constandinos X Mavromoustakis
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:  004.6
 
CyberParks - The Interface Between People, Places and Technology [electronic resource] : New Approaches and Perspectives
Tác giả: Michiel de Lange, Martijn de Waal, Konstantinos Ioannidis, Therese Kenna, Gabriela Maksymiuk, Carlos Smaniotto Costa, Ina Šuklje Erjavec
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.437
 
Cyber Security [electronic resource] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revis...
Tác giả: Li Ding, Bo Lang, Chao Li, Ruiguang Li, Wei Lu, Qiaoyan Wen, Weiping Wen, Hanbing Yan, Yuqing Zhang, Yu Zhou
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:  005.8
 
Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, ...
Tác giả: Ivan Ganchev, Hans van den Berg, R D van der Mei
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:  004.6
 
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications
Tác giả: Michael R Berthold
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Haptics: Science, Technology, Applications [electronic resource] : 12th International Conference, EuroHaptics 2020, Leid...
Tác giả: Jess Hartcher-O'Brien, Ilana Nisky, Jeroen Smeets, Michaël Wiertlewski
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.437
 
Cyber-Physical Systems: Architecture, Security and Application
Tác giả: Song Guo, Deze Zeng
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.382
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
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, Jul...
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
 

Truy cập nhanh danh mục