Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 9 kết quả
High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST...
Tác giả: González-Vélez Horacio, Joanna Kołodziej
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:  004.24
 Thêm vào giỏ
 
Guaranteed Verification of Dynamic Systems
Tác giả: Stefan Schwab
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.2
 Thêm vào giỏ
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.24
 Thêm vào giỏ
 
Integrated Software Architecture-Based Reliability Prediction for IT Systems
Tác giả: Franz Brosch
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.2
 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ở
ddc:  004.24
 Thêm vào giỏ
 
Service Design Capabilities
Tác giả: Nicola Morelli, Amalia de Götzen, Luca Simeone
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:  004.21
 Thêm vào giỏ
 
Thoughtful interaction design : a design perspective on information technology
Tác giả: Jonas L�owgren, Erik Stolterman
Xuất bản: Cambridge Massachusetts: MIT Press, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.21
 Thêm vào giỏ
 
Participatory IT design : designing for business and workplace realities
Tác giả: Keld Bdker, Finn Kensing, Jesper Simonsen
Xuất bản: Cambridge Massachusetts: MIT Press, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.21
 Thêm vào giỏ
 
Modeling for reliability analysis : Markov modeling for reliability, maintainability, safety, and supportability analyse...
Tác giả: Jan Pukite, Paul Pukite
Xuất bản: New York: IEEE Press, 1998
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.2101176
 Thêm vào giỏ
 
1

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