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: 
51-60 trong số 60 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
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ỏ
 
Telfor Journal
Tác giả:
Xuất bản: Telecommunications Society, Academic Mind , 2013
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Applications of Augmented Reality Current State of the Art
Tác giả:
Xuất bản: IntechOpen , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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ỏ
 
Control Systems and Computers
Tác giả:
Xuất bản: International Research and Training Center for Information Technologies and Systems of NASU and MESU , 2020
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
RISTI
Tác giả:
Xuất bản: AISTI , 2018
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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ỏ
 
Zukunft der Arbeit in Industrie 4.0 [electronic resource]
Tác giả: Alfons Botthof, Ernst Andreas Hartmann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 Thêm vào giỏ
 
Trước 4 5 6

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