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: 
1031-1040 trong số 1125 kết quả
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ỏ
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
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.1
 Thêm vào giỏ
 
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Tác giả: Paulo Carreira, Vasco Amaral, Vasco Amaral, Paulo Carreira, Hans Vangheluwe, Hans Vangheluwe
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.22
 Thêm vào giỏ
 
Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Produktivitätsmanagement 4.0 [electronic resource] : Praxiserprobte Vorgehensweisen zur Nutzung der Digitalisierung in d...
Tác giả: Tim Jeske, Frank Lennings
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 Thêm vào giỏ
 
Applying systemic-structural activity theory to design of human-computer interaction systems
Tác giả: Gregory Z Bedny, Inna Bedny, Waldemar Karwowski
Xuất bản: Boca Raton: CRC Press Taylor Francis Group, 2015
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.019
 Thêm vào giỏ
 
Balkan Cyberia Cold War Computing, Bulgarian Modernization, and the Information Age behind the Iron Curtain
Tác giả: Victor Petrov
Xuất bản: Cambridge: The MIT Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Frontiers in Robotics and AI
Tác giả:
Xuất bản: : Frontiers Media SA, 2015
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures : A Simulation-Based Approach
Tác giả: Markus Kilian Frank
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Techno Nusa Mandiri: Journal of Computing and Information Technology
Tác giả:
Xuất bản: : Community Service Research Center LPPM STMIK Nusa Mandiri Jakarta, 2023
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Trước 102 103 104 105 106 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