Logic synthesis and verifications algorithms
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Springer
2006
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000am aa2200000a 44500 | ||
|---|---|---|---|
| 001 | OHA-20260330-2081 | ||
| 003 | OSt | ||
| 005 | 20260619090932.0 | ||
| 008 | 260619b |||||||| |||| 00| 0 eng d | ||
| 020 | |a 978-81-8128-483-9 | ||
| 100 | |a Hochtel,Gray D. | ||
| 245 | |a Logic synthesis and verifications algorithms | ||
| 260 | |b Springer |c 2006 | ||
| 700 | |a Somenzi,Fabio/ | ||
| 942 | |c BK | ||
| 952 | |0 0 |1 0 |4 0 |6 006_300000000000000_H118 |7 0 |9 94600 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 595.00 |l 0 |o 006.3 H118 |p 34748 |r 2026-03-30 21:29:07 |t 1 |v 595.00 |w 2026-03-30 |y BK | ||
| 952 | |0 0 |1 0 |4 0 |6 006_300000000000000_H118 |7 0 |9 94601 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 595.00 |l 0 |o 006.3 H118 |p 34749 |r 2026-03-30 21:29:07 |t 2 |v 595.00 |w 2026-03-30 |y BK | ||
| 952 | |0 0 |1 0 |4 0 |6 006_300000000000000_H118 |7 0 |9 94602 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 595.00 |l 0 |o 006.3 H118 |p 34750 |r 2026-03-30 21:29:07 |t 3 |v 595.00 |w 2026-03-30 |y BK | ||
| 952 | |0 0 |1 0 |4 0 |6 006_300000000000000_H118 |7 0 |9 94603 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 595.00 |l 0 |o 006.3 H118 |p 34751 |r 2026-03-30 21:29:07 |t 4 |v 595.00 |w 2026-03-30 |y BK | ||
| 952 | |0 0 |1 0 |4 0 |6 006_300000000000000_H118 |7 0 |9 94604 |a MSIT |b MSIT |c GEN |d 2026-03-30 |g 595.00 |l 0 |o 006.3 H118 |p 34752 |r 2026-03-30 21:29:07 |t 5 |v 595.00 |w 2026-03-30 |y BK | ||
| 999 | |c 5306 |d 5306 | ||
| 650 | 0 | |a Algorithms. | |