Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
151-156 trong số 156 kết quả
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ỏ
 
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ỏ
 
Internet of Production Fundamentals, Methods and Applications
Tác giả:
Xuất bản: Cham: Springer Nature , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 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ỏ
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European ...
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Automatisierte Wissenskommunikation
Tác giả:
Xuất bản: Berlin: Frank & Timme , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Trước 14 15 16

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo