Matches in Library of Congress for { <http://lccn.loc.gov/2002036593> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2002036593 contributor B9229965.
- 2002036593 contributor B9229966.
- 2002036593 created "c2002.".
- 2002036593 date "2002".
- 2002036593 date "c2002.".
- 2002036593 dateCopyrighted "c2002.".
- 2002036593 description "Includes bibliographical references and index.".
- 2002036593 extent "xi, 398 p. :".
- 2002036593 identifier "3540001166 (softcover : alk. paper)".
- 2002036593 identifier 2002036593-d.html.
- 2002036593 isPartOf "Lecture notes in computer science ; 2517".
- 2002036593 issued "2002".
- 2002036593 issued "c2002.".
- 2002036593 language "eng".
- 2002036593 publisher "Berlin ; New York : Springer,".
- 2002036593 subject "621.39/2 21".
- 2002036593 subject "Digital integrated circuits Computer-aided design Congresses.".
- 2002036593 subject "Digital integrated circuits Design and construction Mathematics Congresses.".
- 2002036593 subject "Formal methods (Computer science) Congresses.".
- 2002036593 subject "Integrated circuits Verification Congresses.".
- 2002036593 subject "TK7874.65 .F53 2002".
- 2002036593 title "Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.).".
- 2002036593 type "text".