Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 63 kết quả
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
 
Mono : a developer's notebook
Tác giả: Dumbill Edd, Niel M Bornstein
Xuất bản: Sebastopol: O'Reilly , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (chm)
ddc:  005.133
 
Enhydra application development with XMLC
Tác giả: David Young
Xuất bản: : Sams Publishing , 2001
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.72
 
Case-Based Reasoning Research and Development [electronic resource] : 4th International Conference on Case-Based Reasoni...
Tác giả: David W Aha, Ian Watson
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
BANTAM User Guide [electronic resource] : Biometric and Token Technology Application Modeling Language
Tác giả: Julian Ashbourn
Xuất bản: London: Springer London : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automatic Re-engineering of Software Using Genetic Programming [electronic resource]
Tác giả: Conor Ryan
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoni...
Tác giả: Lorraine McGinty, David C Wilson
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục