Loại tài liệu:    Chỉ tìm trong: 
2151-2160 trong số 2249 kết quả
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
 
Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19,...
Tác giả: Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
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.437
 
Foundations of Trusted Autonomy [electronic resource]
Tác giả: Hussein A Abbass, Darryn J Reid, Jason Scholz
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 
Concepts in Action [electronic resource] : Representation, Learning, and Application
Tác giả: Lucas Bechberger, Kai-Uwe Kühnberger, Mingya Liu
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:  410
 
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: 
 
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: 
 
KI:Text Diskurse über KI-Textgeneratoren
Tác giả:
Xuất bản: Berlin/Boston: De Gruyter , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Samsung ARTIK Reference : The Definitive Developers Guide
Tác giả: Cliff Wootton
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Thực trạng ứng dụng trí tuệ nhân tạo (AI) của các ngân hàng thương mại cổ phần Việt Nam=The curr...
Tác giả: Thị Phương Linh Bùi, Toàn Trí Nguyễn
Xuất bản: Tạp chí Công thương , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục