Loại tài liệu:    Chỉ tìm trong: 
1001-1010 trong số 1310 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chib...
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Artificial Intelligence in Medicine [electronic resource] : 16th Conference on Artificial Intelligence in Medicine, AIME...
Tác giả: John H Holmes, Christian Popow, Lucia Sacchi, Annette ten Teije
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Central European Functional Programming School [electronic resource] : 6th Summer School, CEFP 2015, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Zoltán Porkoláb, Viktória Zsók
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.11
 
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taip...
Tác giả: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
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.1
 
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
 
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
 
Aspen plus : chemical engineering applications
Tác giả: Kamal I M Al-Malah
Xuất bản: : ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  660.28
 
Make Arduino bots and gadgets : learning by discovery
Tác giả: Kimmo Karvinen, Tero Karvinen
Xuất bản: Sebastopol CA: OReilly, 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.89
 
Building web applications with ERLANG
Tác giả: Zachary Kessin
Xuất bản: Beijing: OReilly, 2012
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.276
 

Truy cập nhanh danh mục