Loại tài liệu:    Chỉ tìm trong: 
251-260 trong số 722 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune...
Tác giả: Deepak D'Souza, K Narayan Kumar
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:  005.1
 
Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 ...
Tác giả: Fabrice Kordon, Lei Ren, Lin Zhang
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:  005.1
 
Cloud Computing and Service Science [electronic resource] : 7th International Conference, CLOSER 2017, Porto, Portugal, ...
Tác giả: Jorge Cardoso, Donald Ferguson, Markus Helfert, Víctor Méndez Muñoz, Claus Pahl
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
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
 
Cloud Computing and Services Science [electronic resource] : 9th International Conference, CLOSER 2019, Heraklion, Crete...
Tác giả: Donald Ferguson, Markus Helfert, Víctor Méndez Muñoz, Claus Pahl
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.1
 
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold...
Tác giả: Vijay Ganesh, Zhe Hou
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
 
Lập trình 2
Tác giả: Nguyễn Mạnh Hù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.1
 
Cơ sở lập trình
Tác giả: Nguyễn Thúy Loan
Xuất bản: TP. HCM: HUTECH , 2023
Bộ sưu tập: Sách giáo trình
eBook (pdf)
ddc:  005.1
 
Công cụ môi trường phát triển phần mềm
Tác giả: Nguyễn Đình Ánh, Dương Thành Phết, Nguyễn Hồ Minh Đức, Nguyễn Huy Cường
Xuất bản: TP. HCM: HUTECH , 2021
Bộ sưu tập: Sách giáo trình
eBook (pdf)
ddc:  005.1
 

Truy cập nhanh danh mục