Logic synthesis and verification algorithms
Includes bibliographical references and index
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Sách |
| Ngôn ngữ: | Undetermined |
| Được phát hành: |
New York
Springer
2006
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611 |
| 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ữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
|---|
| LEADER | 00888nam a2200217Ia 4500 | ||
|---|---|---|---|
| 001 | TDMU_35611 | ||
| 008 | 210410s9999 xx 000 0 und d | ||
| 082 | |a 330.9 | ||
| 090 | |b H102 | ||
| 100 | |a Hachtel, Gary D | ||
| 245 | 0 | |a Logic synthesis and verification algorithms | |
| 245 | 0 | |c Gary Hachtel, Fabio Somenzi | |
| 260 | |a New York | ||
| 260 | |b Springer | ||
| 260 | |c 2006 | ||
| 300 | |a xxxii, 564 p. | ||
| 520 | |a Includes bibliographical references and index | ||
| 650 | |a Integrated circuits |x Very large scale integration |x Design |x Data processing; Logic design |x Data processing; Mạch tích hợp |x Thiết kế |x Xử lý dữ liệu; Thiết kế logic |x Xử lý dữ liệu | ||
| 700 | |a Somenzi, Fabio | ||
| 856 | |u http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611 | ||
| 980 | |a Trung tâm Học liệu Trường Đại học Thủ Dầu Một | ||