Matches in Library of Congress for { <http://lccn.loc.gov/2005936518> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2005936518 contributor B10403097.
- 2005936518 contributor B10403098.
- 2005936518 created "c2006.".
- 2005936518 date "2006".
- 2005936518 date "c2006.".
- 2005936518 dateCopyrighted "c2006.".
- 2005936518 description "Includes bibliographical references (p. [231]-246) and index.".
- 2005936518 extent "xii, 253 p. :".
- 2005936518 identifier "0387259473".
- 2005936518 identifier "0387307842 (ebook)".
- 2005936518 identifier 2005936518-d.html.
- 2005936518 identifier 2005936518-t.html.
- 2005936518 issued "2006".
- 2005936518 issued "c2006.".
- 2005936518 language "eng".
- 2005936518 publisher "New York, NY : Springer,".
- 2005936518 subject "005.115 22".
- 2005936518 subject "Constraints (Artificial intelligence)".
- 2005936518 subject "Digital electronics Testing.".
- 2005936518 subject "Electronic systems Design and construction.".
- 2005936518 subject "Electronic systems Testing.".
- 2005936518 subject "Q340 .Y83 2006".
- 2005936518 title "Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.".
- 2005936518 type "text".