Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 104 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
PhoneGap build : developing cross platform mobile applications in the cloud
Tác giả: B M Harwani
Xuất bản: Boca Raton: CRC Press, 2014
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.6782
 Thêm vào giỏ
 
Data structures and algorithms using Python
Tác giả: Rance D Necaise
Xuất bản: Hoboken: John Wiley Sons Inc, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Algorithm design and applications
Tác giả: Michael T Goodrich, Roberto Tamassia
Xuất bản: : ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.73
 Thêm vào giỏ
 
Threat modeling : designing for security
Tác giả: Adam Shostack
Xuất bản: Indianapolis IN: Wiley, 2014
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Introduction to Scientific Programming with Python
Tác giả: Joakim Sundnes
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Australasian Conference on Information Systems 2018
Tác giả:
Xuất bản: Broadway: UTS ePRESS, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
The Once-Only Principle : The TOOP Project
Tác giả: Robert Krimmer, Robert Krimmer, Szymon Mamrot, Szymon Mamrot, Andriana Prentza, Andriana Prentza
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  351.02854678
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 Thêm vào giỏ
 
Trước 7 8 9 10 11 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media