Thomas Kropf (140 results)

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Taschenbuch. Condition: Gut. 1. Aufl. 115 Seiten; Das Taschenbuch stammt aus einer Bibliotheksauflösung. Abgesehen von entsprechenden Kennzeichnungen befindet sich das Buch in einem altersgemäß ordentlichen Zustand. Die Einbandkanten sind etwas bestoßen. Sprache: Deutsch Gewicht in Gramm: 150.

Hardcover. Condition: Very Good. very good condition with a pen name on the free front end page - no dust jacket.

Soft cover. Condition: Very Good. First Edition.

Paperback. Reprint edition. Very Good/Wraps (34590) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. 303.…

Paperback. Reprint edition. Very Good/Wraps (34591) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. 303.…

Condition: As New. Unread book in perfect condition.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: New.

Condition: New.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condition: New. 6.

Condition: New.

Broschüre. Condition: New. 11.

Condition: As New. Unread book in perfect condition.

Condition: New.

Paperback. Condition: Brand New. 80 pages. German language. 10.04x6.81x0.63 inches. In Stock.

Paperback. Condition: Brand New. 80 pages. German language. 9.49x6.61x0.55 inches. In Stock.

Condition: New.

Paperback. Condition: New. 1.

Paperback. Condition: Brand New. German language. 9.25x6.50x0.51 inches. In Stock.

Paperback. Condition: Brand New. German language. 8.19x5.67x0.31 inches. In Stock.

Condition: New.