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: 
321-330 trong số 654 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Uwe Egly, Christian G Fernmüller
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies
Tác giả: Marc-Phillipe Huget
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
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 with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Marta Cialdea Mayer, Fiora Pirri
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Cognitive Computing – ICCC 2020 [electronic resource] : 4th International Conference, Held as Part of the Services Confe...
Tác giả: Yujiu Yang, Lei Yu, Liang-Jie Zhang
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ỏ
 
Cloud Portability and Interoperability [electronic resource] : Issues and Current Trends
Tác giả: Beniamino Di Martino, Giuseppina Cretella, Antonio Esposito
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Cognitive Computing – ICCC 2019 [electronic resource] : Third International Conference, Held as Part of the Services Con...
Tác giả: Jianzong Wang, Ruifeng Xu, Liang-Jie Zhang
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.6
 Thêm vào giỏ
 
Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA...
Tác giả: Elisa Bertino, Zhaoqing Pan, Xingming Sun
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.8
 Thêm vào giỏ
 
Ubiquitous and Pervasive Computing New Trends and Opportunities
Tác giả: Rodrigo da Rosa Righi, Rodrigo da Rosa Righi
Xuất bản: IntechOpen , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, ...
Tác giả: Leonardo de Moura
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:  006.3
 Thêm vào giỏ
 
Managing software requirements : a use case approach
Tác giả: Dean Leffingwell
Xuất bản: Boston: Addison Wesley , 2003
Bộ sưu tập: Công nghệ thông tin
Bản in + eBook (chm)
ddc:  005.1068
 Thêm vào giỏ
 
Trước 31 32 33 34 35 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