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: 
511-520 trong số 659 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chib...
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 –...
Tác giả: Nicola Olivetti, Ashish Tiwari
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Augmented Cognition [electronic resource] : 13th International Conference, AC 2019, Held as Part of the 21st HCI Interna...
Tác giả: Cali M Fidopiastis, Dylan D Schmorrow
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:  004.019
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : 6th Summer School, CEFP 2015, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Zoltán Porkoláb, Viktória Zsók
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.11
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taip...
Tác giả: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
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.1
 Thêm vào giỏ
 
Cognitive Modeling for Automated Human Performance Evaluation at Scale [electronic resource]
Tác giả: Haiyue Yuan, Shujun Li, Patrice Rusconi
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.019
 Thêm vào giỏ
 
Artificial Intelligence in HCI [electronic resource] : First International Conference, AI-HCI 2020, Held as Part of the ...
Tác giả: Helmut Degen, Lauren Reinerman-Jones
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.019
 Thêm vào giỏ
 
Collaboration Technologies and Social Computing [electronic resource] : 26th International Conference, CollabTech 2020, ...
Tác giả: Claudio Alvarez, Irene-Angelica Chounta, Reiko Hishiyama, Tomoo Inoue, Alexander Nolte, María Jesús Rodríguez-Triana
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.3
 Thêm vào giỏ
 
Algorithm design and applications
Tác giả: Michael T Goodrich, Roberto Tamassia
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.73
 Thêm vào giỏ
 
Computer Science and Information Systems
Tác giả:
Xuất bản: ComSIS Consortium , 2010
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Trước 50 51 52 53 54 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