Gesamtpreis (1 Artikel Artikel):
Versandziel:
strichman ofer (16 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (16)
- 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 (14)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (6)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Buch 42 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer (edition Softcover reprint of the original 2nd ed. 2016), 2018
ISBN 10: 3662570653 ISBN 13: 9783662570654
Paperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of the original 2nd ed. 2016.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Buch 42 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 33,54
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Buch 42 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,68
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,24
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,38
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hardware And Software Verification And
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Theory and Applications of Satisfiability Testing-SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642141854 ISBN 13: 9783642141850
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,14
EUR 14,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 400 pages. 9.00x6.00x0.75 inches. In Stock.
-
Hardware and Software: Verification and Testing
Sprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319703889 ISBN 13: 9783319703886
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, Hvc 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319703889 ISBN 13: 9783319703886
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,60
EUR 34,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 276 pages. 9.25x6.10x0.63 inches. In Stock.
-
Theory and Applications of Satisfiability Testing - SAT 2010
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642141854 ISBN 13: 9783642141850
Zustand: New. 1. Invited Talks.- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.- Exact Algorithms and Complexity.- 2. Regular Papers.- Improving Stochastic Local Search for SAT with a New Probability Distribution.- Lower Bounds.
-
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319703889 ISBN 13: 9783319703886
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
-
Efficient Decision Procedures for Validation | Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
Sprache: Englisch
Verlag: LAP Lambert Academic Publishing, 2018
ISBN 10: 3838300823 ISBN 13: 9783838300825
Taschenbuch. Zustand: Neu. Efficient Decision Procedures for Validation | Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking | Ofer Strichman | Taschenbuch | 116 S. | Deutsch | 2018 | LAP Lambert Academic Publishing | EAN 9783838300825 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Hardware and Software: Verification and Testing | 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings | Ofer Strichman (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2017 | Springer | EAN 9783319703886 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Decision Procedures: An Algorithmic Point of View
Buch 42 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3662504960 ISBN 13: 9783662504963
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 127,78
EUR 14,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2nd edition. 356 pages. French language. 9.25x6.25x0.75 inches. In Stock.
-
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 3642141854 ISBN 13: 9783642141850
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. In addition to SAT, FLoC included the conferences CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, as well as over 50 workshops. A liated with SAT were the workshops LaSh (Logic and Search, co-a liated with ICLP), LoCoCo (Logics for C- ponent Con guration), POS (Pragmatics Of SAT), PPC (Propositional Proof Complexity: Theory and Practice), and SMT (Satis ability Modulo Theories, co-a liated with CAV). SAT featured three competitions: the MAX-SAT Ev- uation 2010, the Pseudo-Boolean Competition 2010, and the SAT-Race 2010. Many hard combinatorial problems such as problems arising in veri cation and planning can be naturally expressed within the framework of propositional satis ability. Due to its wide applicability and enormous progress in the perf- mance of solving methods, satis ability has become one of today s most imp- tant core technologies. The SAT 2010 call for papers invited the submission of original practical and theoretical research on satis ability. Topics included but were not limited to proof systems and proof complexity, search algorithms and heuristics, analysis of algorithms, combinatorial theory of satis ability, random instances vs structured instances, problem encodings, industrial applications, applicationsto combinatorics,solvers,simpli ers andtools,casestudies and- piricalresults,exactandparameterizedalgorithms.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 400 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
