Gesamtpreis (1 Artikel Artikel):
Versandziel:
kropf thomas (54 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (54)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (36)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (7)
Weitere Eigenschaften
- Erstausgabe (3)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (20)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
VLSI-Entwurf: Vorgehen, Methoden, Automatisierung. Thomson's aktuelle Tutorien - Nr. 17.
Sprache: Deutsch
Verlag: International Thomson Publishing, 1995
ISBN 10: 3826601637 ISBN 13: 9783826601637
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Taschenbuch. Zustand: 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.
-
Mit Max Murmel durch das Vorschuljahr. Arbeitsheft
Sprache: Deutsch
Verlag: Mildenberger Verlag GmbH 01/02/2009, 2009
ISBN 10: 3619153280 ISBN 13: 9783619153282
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,08
EUR 8,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPamphlet. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Hardware Verifikation - Verfahren und Werkzeuge zum Entwurf korrekter Schaltungen und Systeme
Verlag: Selbstverlag : Thomas Kropf o. J.
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 304 S. Akzeptabler Zustand. Haufenweise Bleistift Eintragungen / Markierungen. Geringe Lager- und Gebrauchsspuren. Sprache: Deutsch Gewicht in Gramm: 1000.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart I
Buch 3 von 3: Max MurmelAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,33
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 80 pages. German language. 10.04x6.81x0.63 inches. In Stock.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart II: Abreißblock - Konzentration und Wahrnehmung
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,35
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 80 pages. German language. 9.49x6.61x0.55 inches. In Stock.
-
Max Murmel: Der Vorschulblock f?r einen guten Schulstart II: Konzentration und Wahrnehmung
Buch 2 von 3: Max MurmelAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 17,21
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Max Murmel: Der Vorschulblock für einen guten Schulstart III - Rätseln und Knobeln
Buch 1 von 3: Max MurmelAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 11,34
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. German language. 9.25x6.50x0.51 inches. In Stock.
-
Mit Max Murmel Durch Das Vorschuljahr: Ein Arbeitsheft Für Vorschule, Kindergarten Und Zu Hause
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 15,82
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPerfect Paperback. Zustand: Brand New. 80 pages. German language. 11.50x7.48x0.24 inches. In Stock.
-
Mathetiger - Neubearbeitung Buchausgabe - Klasse 1 bis 4 /.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 20,70
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Theorem Provers in Circuit Design
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 41,42
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4: Arbeitsheft, Festigung und produktives Üben 3. Schuljahr
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,71
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. German language. 8.19x5.67x0.31 inches. In Stock.
-
Theorem Provers Circuit Design
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Blick in die Vergangenheit. Erlebtes und Heiteres.
Verlag: München: Verlag Edda Kropf,, 1996
Anbieter: Antiquariat Gallenberger, Wildsteig, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: Sehr gut. 1. Auflage,. 95 Seiten, Illustrationen, Gemälde, Miniaturen, Photos aus Privatbesitz, Zustand: sehr gut. Geringfügige Gebrauchs- oder Lagerspuren. 203 Sprache: Deutsch Gewicht in Gramm: 271 22 cm, gebundene Ausgabe, illustrierter Einband ohne Schutzumschlag, Pappe.
-
Mit Max Murmel durch das Vorschuljahr (VPE 1): Ein.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 20,94
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540634754 ISBN 13: 9783540634751
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Gut. 388 Seiten; 9783540634751.3 Gewicht in Gramm: 1.
-
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science, 901)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Introduction to Formal Hardware Verification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Introduction to Formal Hardware Verification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science, 1703)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Correct Hardware Design and Verification Methods
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540665595 ISBN 13: 9783540665595
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Mathetiger - Neubearbeitung Buchausgabe - Klasse 1 bis 4 /.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 42,82
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4: Schülerbuch, mit Mathetiger-CD-ROM Basic 3 und Internetplattform, 3. Schuljahr
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,37
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. German language. 11.73x8.19x0.55 inches. In Stock.
-
Kommunikative Funktionen des Dialekts im Unterricht. Theorie und Praxis in der deutschen Schweiz. Reihe Germanistische Linguistik 67.
Verlag: Max Niemeyer, Tübingen,, 1986
Anbieter: Bouquinerie du Varis, Russy, FR, Schweiz
Verkäuferbewertung 5 von 5 Sternen
broschiert. 220x143mm, X- 317Seiten, Widmung der Autoren. Schönes Exemplar. En cas de problème de commande, veuillez nous contacter via notre page d'accueil / If there is a problem with the order, please contact us via our homepage.
-
Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz (Reihe Germanistische Linguistik)
Verlag: Niemeyer, Tübingen, 1986, 1986
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert, 317 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek mit der üblichen Signatur und Stempel, keine Markierungen/Anmerkungen, Einband in fester Transparentschutzfolie mit rotem Bibliotheksstreifen, dies ist ein sehr gut erhaltenes Buch. Shipping to abroad insured with tracking number.
-
Introduction to Formal Hardware Verification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 364208477X ISBN 13: 9783642084775
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.
-
Theorem Provers in Circuit Design: Theory, Practice and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Formal Hardware Verification : Methods and Systems in Comparison
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
-
Introduction to Formal Hardware Verification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer, 1999
ISBN 10: 3540654453 ISBN 13: 9783540654452
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.
-
Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri cation techniques are now migrating into industrial use. The aim of CHARME'99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.
