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: 
1681-1690 trong số 2249 kết quả
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
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ỏ
 
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
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ỏ
 
Information theory models of instabilities in critical systems
Tác giả: Rodrick Wallace
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  003.54
 Thêm vào giỏ
 
From Chalkboards to Chatbots
Tác giả: Martin De Simone
Xuất bản: Washington, DC: World Bank , 2025
Bộ sưu tập: Tài liệu truy cập mở
ddc:  794.17
 Thêm vào giỏ
 
Artificial Neural Networks in Pattern Recognition [electronic resource] : 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2–4, 2020, Proceedings
Tác giả: Frank-Peter Schilling, Thilo Stadelmann
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6...
Tác giả: Mourad Baïou, Bernard Gendron, Oktay Günlük, A Ridha Mahjoub
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Bioinspired Optimization Methods and Their Applications [electronic resource] : 9th International Conference, BIOMA 2020...
Tác giả: Bogdan Filipič, Edmondo Minisci, Massimiliano Vasile
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Biomedical Image Registration [electronic resource] : 9th International Workshop, WBIR 2020, Portorož, Slovenia, Decemb...
Tác giả: Orcun Goksel, Jan Kybic, Jamie McClelland, Žiga Špiclin
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.37
 Thêm vào giỏ
 
Trước 167 168 169 170 171 Tiếp

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