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: 
111-119 trong số 119 kết quả
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Fading Foundations [electronic resource] : Probability and the Regress Problem
Tác giả: David Atkinson, Jeanne Peijnenburg
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:  120
 Thêm vào giỏ
 
The Everyday Life of an Algorithm [electronic resource]
Tác giả: Daniel Neyland
Xuất bản: Cham: Springer International Publishing : Imprint: Palgrave Pivot , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  303.483
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
Tác giả: Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
Tác giả: Mikołaj Bojańczyk, Alex Simpson
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.131
 Thêm vào giỏ
 
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
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ỏ
 
Trước 10 11 12

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