Loại tài liệu:    Chỉ tìm trong: 
491-500 trong số 659 kết quả
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October...
Tác giả: Erol Gelenbe, Erol Gelenbe, Marija Jankovic, Marija Jankovic, Dionysios Kehagias, Dionysios Kehagias, Anna Marton, Anna Marton, Andras Vilmos, Andras Vilmos
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Getting started with Arduino
Tác giả: Massimo Banzi, Michael Shiloh
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.89
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
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.131
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
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.131
 
Biomedical Image Registration [electronic resource] : 9th International Workshop, WBIR 2020, Portorož, Slovenia, Decemb...
Tác giả: Orcun Goksel, Jan Kybic, Jamie McClelland, Žiga Špiclin
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:  006.37
 
Computational Collective Intelligence [electronic resource] : 12th International Conference, ICCCI 2020, Da Nang, Vietna...
Tác giả: Bao Hung Hoang, Cong Phap Huynh, Dosam Hwang, Ngoc Thanh Nguyen, Bogdan Trawiński, Gottfried Vossen
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:  006.3
 
Artificial General Intelligence [electronic resource] : 13th International Conference, AGI 2020, St. Petersburg, Russia,...
Tác giả: Ben Goertzel, Aleksandr I Panov, Alexey Potapov, Roman Yampolskiy
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:  006.3
 
Artificial Intelligence and Soft Computing [electronic resource] : 20th International Conference, ICAISC 2021, Virtual E...
Tác giả: Marcin Korytkowski, Witold Pedrycz, Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Jacek M Zurada
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
 
Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
Tác giả: Yixiang Chen, Songmao Zhang
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 

Truy cập nhanh danh mục