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: 
151-160 trong số 183 kết quả
Mendel
Tác giả:
Xuất bản: Brno University of Technology , 2019
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
AI
Tác giả:
Xuất bản: MDPI AG , 2020
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part o...
Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
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ỏ
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Tác giả: K Rustan M Leino, Alexandra Silva
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.1
 Thêm vào giỏ
 
High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
Tác giả: Joanna Kołodziej, Horacio González-Vélez, Horacio González-Vélez, Joanna Kołodziej
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.11
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as P...
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
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ỏ
 
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part o...
Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Even...
Tác giả: Platzer André, Geoff Sutcliffe
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:  006.3
 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ỏ
 
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ỏ
 
Trước 14 15 16 17 18 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