Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 46 kết quả
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Mikołaj Bojańczyk, Alex Simpson
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.131
 Thêm vào giỏ
 
Large-scale kernel machines
Tác giả: L�eon Bottou
Xuất bản: Cambridge Massachusetts: MIT Press, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.73
 Thêm vào giỏ
 
Boolean Functions and Their Applications in Cryptography [electronic resource]
Tác giả: Chuan-Kun Wu, Dengguo Feng
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 Thêm vào giỏ
 
Beyond Databases, Architectures, and Structures [electronic resource] : 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Tác giả: Pawel Kasprowski, Daniel Kostrzewa, Stanislaw Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
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.74
 Thêm vào giỏ
 
Beyond Databases, Architectures and Structures [electronic resource] : 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings
Tác giả: Paweł Kasprowski, Daniel Kostrzewa, Stanisław Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Intertwingled [electronic resource] : The Work and Influence of Ted Nelson
Tác giả: Douglas R Dechow, Daniele C Struppa
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.09
 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ở
ddc:  004.24
 Thêm vào giỏ
 
Biometric User Authentication for IT Security [electronic resource] : From Fundamentals to Handwriting
Tác giả: Claus Vielhauer
Xuất bản: New York NY: Springer US Imprint Springer, 2006
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 Thêm vào giỏ
 
1 2 3 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