Advanced Boolean Techniques
Đã lưu trong:
Những tác giả chính: | Drechsler, Rolf, Soeken, Mathias |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
Springer International Publishing
2020
|
Những chủ đề: | |
Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90867 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
Test Pattern Generation using Boolean Proof Engines
Bỡi: Drechsler, Rolf, et al.
Được phát hành: (2020) -
Taxonomies for the Development and Verification of Digital Systems
Bỡi: Bailey, Brian, et al.
Được phát hành: (2020) -
Formal System Verification. 1st ed. 2018
Bỡi: Drechsler, Rolf
Được phát hành: (2020) -
Advanced Interfacing Techniques for Sensors
Bỡi: George, Boby, et al.
Được phát hành: (2020) -
In-Memory Computing
Bỡi: Shirinzadeh, Saeideh, et al.
Được phát hành: (2020)