Loại tài liệu:    Chỉ tìm trong: 
31-39 trong số 39 kết quả
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July ...
Tác giả: Shuvendu K Lahiri, Chao Wang
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:  005.1
 
The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conferenc...
Tác giả: Mohamed Jmaiel, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Slim Kallel, Mounir Mokhtari, Mounir Mokhtari
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: 
 
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Tác giả: Rio Yokota, Weigang Wu
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.11
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Digital Twin Architectures, Networks, and Applications
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
Tác giả: Wei Lu, Chao Li, Chao Li, Wei Lu, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Digital Twin Architectures, Networks, and Applications
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Jo...
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục