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: 
91-100 trong số 103 kết quả
The Everyday Life of an Algorithm
Tác giả: Daniel Neyland
Xuất bản: Cham: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Computers & Graphics: X
Tác giả:
Xuất bản: Elsevier , 2019
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Tác giả: David Abramson, David Abramson, Bronis R de Supinski, Bronis R de Supinski
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:  004.11
 Thêm vào giỏ
 
Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks
Tác giả: Michael Voss, Rafael Asenjo, James Reinders
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
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ỏ
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European ...
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
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ỏ
 
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Join...
Tác giả: Ilya Sergey, Ilya Sergey
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  155.7
 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 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