Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 2253 kết quả
Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colo...
Tác giả: Ichiro Hasuo
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.131
 
At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulg...
Tác giả: Eric Pacuit, Jennifer Sikos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Ngôn ngữ phát triển ứng dụng mới
Tác giả: Nguyễn Thanh Tùng, Bùi Mạnh Toàn
Xuất bản: TP. HCM: HUTECH , 2021
Bộ sưu tập: Sách giáo trình
eBook (pdf)
ddc:  005.133
 
Thực hành lập trình ứng dụng với Java
Tác giả: Võ Tấn Dũng
Xuất bản: TP. HCM: HUTECH , 2023
Bộ sưu tập: Sách giáo trình
Bản in + eBook (pdf)
ddc:  005.133
 
Computer science Logo style. Volume 3
Tác giả: Brian Harvey
Xuất bản: Cambridge, Mass: MIT Press , 1997.
Bộ sưu tập: NCBI
ddc:  005.13/3
 
Computer science Logo style
Tác giả: Brian Harvey
Xuất bản: Cambridge, Mass: MIT Press , 1997.
Bộ sưu tập: NCBI
ddc:  005.13/3
 
Computer science Logo style. Volume1
Tác giả: Brian Harvey
Xuất bản: Cambridge, Mass: MIT Press , 1997.
Bộ sưu tập: NCBI
ddc:  005.13/3
 
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Sevil...
Tác giả: Gonzalo A Aranda-Corral, Jacques Calmet, Francisco J Martín-Mateos
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Col...
Tác giả: Marcello M Bonsangue
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
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