Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-18 trong số 18 kết quả
Verification techniques for system-level design [electronic resource]
Tác giả: Masahiro Fujita, Indradeep Ghosh, Mukul Prasad
Xuất bản: Amsterdam Boston: Morgan Kaufmann Publishers, 2008
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 Thêm vào giỏ
 
Emotional cognitive neural algorithms with engineering applications : dynamic logic: from vague to crisp
Tác giả: Leonid I Perlovsky, Ross Deming, Roman Ilin
Xuất bản: New York: Springer, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.32
 Thêm vào giỏ
 
Process algebra for parallel and distributed processing
Tác giả: Michael Alexander, William Gardner
Xuất bản: Boca Raton: CRC Press, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Formal method : industrial use from model to the code
Tác giả: Jean-Louis Boulanger
Xuất bản: London Hoboken NJ: ISTE Wiley, 2012
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  385.028553
 Thêm vào giỏ
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 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ỏ
 
Principles of cyber-physical systems
Tác giả: Rajeev Alur
Xuất bản: Cambridge Massachusetts: MIT Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.22
 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ỏ
 
Trước 1 2

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