Importo totale (1 articolo articoli):
Destinazione ordine:
kropf thomas (144 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (144)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (114)
- Come nuovo, Ottimo o Quasi ottimo (12)
- Molto buono o Buono (10)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (8)
Legatura
Ulteriori caratteristiche
- Prima ed. (8)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (69)
- Non Print on Demand (114)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Introduction to Formal Hardware Verification : Methods and Tools for Designing Correct Circuits and Systems
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654453 ISBN 13: 9783540654452
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Introduction to Formal Hardware Verification
Da: More Than Words, Waltham, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. . . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping.
-
Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
VLSI-Entwurf: Vorgehen, Methoden, Automatisierung. Thomson's aktuelle Tutorien - Nr. 17.
Lingua: Tedesco
Editore: International Thomson Publishing, 1995
ISBN 10: 3826601637 ISBN 13: 9783826601637
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 0,95
EUR 7,95 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Modes of Augustan Satire
Editore: Studies in the Literary Imagination, 1972
Da: James Cummings, Bookseller, Signal Mountain, TN, U.S.A.
Valutazione del venditore 3 su 5 stelle
Prima edizione
Soft cover. Condizione: Very Good. First Edition.
-
Theorem Provers in Circuit Design: Theory, Practice and Experience
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
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.
-
Theorem Provers in Circuit Design: Theory, Practice and Experience
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
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.
-
Condizione: new.
-
Hardware Verifikation - Verfahren und Werkzeuge zum Entwurf korrekter Schaltungen und Systeme
Editore: Selbstverlag : Thomas Kropf o. J.
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
EUR 10,00
EUR 14,95 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. 304 S. Akzeptabler Zustand. Haufenweise Bleistift Eintragungen / Markierungen. Geringe Lager- und Gebrauchsspuren. Sprache: Deutsch Gewicht in Gramm: 1000.
-
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Max Murmel: Der Vorschulblock f?r einen guten Schulstart II: Konzentration und Wahrnehmung
Libro 2 di 3: Max MurmelDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 15,86
EUR 7,45 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart II: Konzentration und Wahrnehmung: Abreißblock - Konzentration und Wahrnehmung
Libro 2 di 3: Max MurmelLingua: Tedesco
Editore: Mildenberger Verlag GmbH; 1. Edition (29. November 2022), 2022
ISBN 10: 3619153248 ISBN 13: 9783619153244
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 23,53
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 11 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart II: Abreißblock - Konzentration und Wahrnehmung
Libro 2 di 3: Max MurmelDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,56
EUR 11,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 80 pages. German language. 9.49x6.61x0.55 inches. In Stock.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart I
Libro 3 di 3: Max MurmelDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,92
EUR 11,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 80 pages. German language. 10.04x6.81x0.63 inches. In Stock.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart I
Libro 3 di 3: Max MurmelLingua: Tedesco
Editore: Mildenberger Verlag GmbH (26. April 2022), 2022
ISBN 10: 3619153256 ISBN 13: 9783619153251
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,11
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Mit Max Murmel durch das Vorschuljahr: Ein Arbeitsheft für Vorschule, Kindergarten und zu Hause
Lingua: Tedesco
Editore: Mildenberger Verlag GmbH; 11. Edition (4. Januar 2022), 2022
ISBN 10: 3619153280 ISBN 13: 9783619153282
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,49
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloBroschüre. Condizione: New. 11.
-
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Tiger-Trainer 3, Arbeitsheft: Arbeitsheft, Festigung und produktives Üben: Arbeitsheft, Festigung und produktives Üben 3. Schuljahr
Lingua: Tedesco
Editore: Mildenberger Verlag GmbH; 5. Edition (19. Juni 2018), 2018
ISBN 10: 3619355665 ISBN 13: 9783619355662
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,73
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 5.
-
Mathetiger - Neubearbeitung Buchausgabe - Klasse 1 bis 4 /.
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Mathetiger - Neubearbeitung Buchausgabe - Klasse 1 bis 4 /.
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 19,71
EUR 7,45 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Theorem Provers in Circuit Design
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 324.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart III - Rätseln und Knobeln
Libro 1 di 3: Max MurmelDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,54
EUR 14,33 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. German language. 9.25x6.50x0.51 inches. In Stock.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart III - Rätseln und Knobeln
Libro 1 di 3: Max MurmelLingua: Tedesco
Editore: Mildenberger Verlag GmbH; 1. Edition (15. September 2023), 2023
ISBN 10: 3619153310 ISBN 13: 9783619153312
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 27,67
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 11 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1.
-
-
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4: Arbeitsheft, Festigung und produktives Üben 3. Schuljahr
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 16,75
EUR 11,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. German language. 8.19x5.67x0.31 inches. In Stock.
-
Theorem Provers in Circuit Design
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 41,56
EUR 7,45 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 324 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Tiger-Trainer 2 - Arbeitsheft: Festigung und produktives Üben, 2. Schuljahr: Tiger-Trainer Neubearbeitung
Lingua: Tedesco
Editore: Mildenberger Verlag GmbH; 6. Edition (19. Juni 2017), 2017
ISBN 10: 3619255261 ISBN 13: 9783619255269
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 29,06
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 6.
-
Mit Max Murmel Durch Das Vorschuljahr: Ein Arbeitsheft Für Vorschule, Kindergarten Und Zu Hause
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 17,67
EUR 11,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPerfect Paperback. Condizione: Brand New. 80 pages. German language. 11.50x7.48x0.24 inches. In Stock.
-
Theorem Provers in Circuit Design
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 43,46
EUR 9,95 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 324.
-
Correct Hardware Design and Verification Methods : 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
