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: 
491-500 trong số 654 kết quả
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ỏ
 
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Tác giả: Adam Chlipala
Xuất bản: Cambridge: The MIT Press , 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Security and Privacy in Blockchains and the IoT
Tác giả: Christoph Stach, Christoph Stach
Xuất bản: Basel: MDPI - Multidisciplinary Digital Publishing Institute , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Jurnal Informatika dan Rekayasa Perangkat Lunak
Tác giả:
Xuất bản: Universitas Wahid Hasyim , 2020
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
Jurnal Informatika
Tác giả:
Xuất bản: Universitas Muhammadiyah Purwokerto , 2017
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 ...
Tác giả: Fabrice Kordon, Lei Ren, Lin Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Artificial General Intelligence [electronic resource] : 11th International Conference, AGI 2018, Prague, Czech Republic,...
Tác giả: Arthur Franz, Ben Goertzel, Matthew Iklé, Rafal Rzepka
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Trước 48 49 50 51 52 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