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: 
211-220 trong số 224 kết quả
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European ...
Tác giả: Esther Guerra, Esther Guerra, Mariëlle Stoelinga, Mariëlle Stoelinga
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  155.7
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European ...
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Join...
Tác giả: Ilya Sergey, Ilya Sergey
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ỏ
 
Internet of Production Fundamentals, Methods and Applications
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Internet of Production Fundamentals, Methods and Applications
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Supercomputing Frontiers [electronic resource] : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proce...
Tác giả: Dhabaleswar K Panda
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ỏ
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Pa...
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Trước 20 21 22 23 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