Loại tài liệu:    Chỉ tìm trong: 
271-280 trong số 317 kết quả
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
Tác giả: Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
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:  004.24
 
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
 
The Future Internet [electronic resource] : Future Internet Assembly 2011: Achievements and Technological Promises
Tác giả: Federico Alvarez, Susanna Avessta, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Anastasius Gavras, Stamatis Karnouskos, Srdjan Krco, Dave Lambert, Man-Sze Li, Volkmar Lotz, Henning Müller, Michael Nilsson, Hans Schaffers, Burkhard Stiller, Theodore Zahariadis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
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
 
Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, ...
Tác giả: Paolo Campegiani, Czachórski Tadeusz, Erol Gelenbe, Sokratis K Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras
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.8
 
How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New Yor...
Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Cabrera María Fernanda, Mounir Mokhtari, Pagán José
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:  004.6
 
Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedi...
Tác giả: Weigang Wu, Rio Yokota
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:  006.3
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference,...
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
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:  004.0151
 
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
 

Truy cập nhanh danh mục