Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 230 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Cyber Security : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Tác giả: Wei Lu, Li Ding, Li Ding, Bo Lang, Bo Lang, Chao Li, Chao Li, Ruiguang Li, Ruiguang Li, Wei Lu, Qiaoyan Wen, Qiaoyan Wen, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang, Yu Zhou, Yu Zhou
Xuất bản: Singapore: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Leida xuebao
Tác giả:
Xuất bản: China Science Publishing & Media Ltd. (CSPM , 2022
Bộ sưu tập: Báo giấy
ddc: 
 
Human-Centric Intelligent Systems
Tác giả:
Xuất bản: Springer Nature , 2023
Bộ sưu tập: Báo giấy
ddc: 
 
智慧农业
Tác giả:
Xuất bản: Editorial Office of Smart Agriculture , 2021
Bộ sưu tập: Báo giấy
ddc: 
 
Heterogeneity, High Performance Computing, Self-Organization and the Cloud [electronic resource]
Tác giả: David Kenny, Theo Lynn, John P Morrison
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  658.4038
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
Tác giả: Flemming Nielson, David Sands
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.8
 
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
 
Manual of Digital Earth [electronic resource]
Tác giả: Alessandro Annoni, Michael F Goodchild, Huadong Guo
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  910.285
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Pa...
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 

Truy cập nhanh danh mục