Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 257 kết quả
Practical file system design with the BE file system
Tác giả: Dominic Giampaolo
Xuất bản: San Francisco: Morgan Kaufmann Publishers , 1999.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Authentication in Insecure Environments [electronic resource] : Using Visual Cryptography and Non-Transferable Credentia...
Tác giả: Sebastian Pape
Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: NCBI
ddc:  005.1
 Thêm vào giỏ
 
Feature Selection for High-Dimensional Data
Tác giả: Bolón-Canedo Verónica, Amparo Alonso-Betanzos, Sánchez-Maroño Noelia
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Storm blueprints [electronic resource] : patterns for distributed real-time computation : use Storm design patterns to perform distributed, real-time big data processing, and analytics for real-world
Tác giả: P Taylor Goetz, Brian O'Neill, Prashant Timappa Shetty
Xuất bản: Birmingham, England: Packt Publishing , 2014.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.73
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  670.42
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  670.42
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
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ỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  004.24
 Thêm vào giỏ
 
Algorithm design for networked information technology systems
Tác giả: Sumit Ghosh
Xuất bản: New York: Springer , 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Trước 9 10 11 12 13 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