Matches in Library of Congress for { <http://lccn.loc.gov/2005937330> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2005937330 contributor B10403730.
- 2005937330 contributor B10403731.
- 2005937330 created "c2006.".
- 2005937330 date "2006".
- 2005937330 date "c2006.".
- 2005937330 dateCopyrighted "c2006.".
- 2005937330 description "Includes bibliographical references (p. 537-553) and index.".
- 2005937330 extent "xxxii, 564 p. :".
- 2005937330 identifier "0306475928 (ebook)".
- 2005937330 identifier "0387310045 (softcover : alk. paper)".
- 2005937330 identifier "9780387310046 (softcover : alk. paper)".
- 2005937330 identifier 2005937330-d.html.
- 2005937330 identifier 2005937330-t.html.
- 2005937330 issued "2006".
- 2005937330 issued "c2006.".
- 2005937330 language "eng".
- 2005937330 publisher "New York : Springer,".
- 2005937330 subject "621.39/5 22".
- 2005937330 subject "Computer-aided design.".
- 2005937330 subject "Integrated circuits Verification.".
- 2005937330 subject "Integrated circuits Very large scale integration Design Data processing.".
- 2005937330 subject "Logic design Data processing.".
- 2005937330 subject "TK7874.75 .H33 2006".
- 2005937330 title "Logic synthesis and verification algorithms / Gary Hachtel, Fabio Somenzi.".
- 2005937330 type "text".