EUR 7,63
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.15.
EUR 7,66
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Used book that is in clean, average condition without any missing pages.
EUR 18,88
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbUnknown. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.05.
EUR 24,21
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. In Stock.
Verlag: Springer International Publishing, Springer International Publishing Nov 2015, 2015
ISBN 10: 3319243179 ISBN 13: 9783319243177
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 68,48
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, including theoretical advances (exact algorithms,proof complexity, and other complexity issues), practical search algorithms,knowledge compilation, implementation-level details of SAT solvers andSAT-based systems, problem encodings and reformulations, and applications, as wellas case studies and reports on insightful findings based on rigorous experimentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.
Verlag: Springer International Publishing, 2015
ISBN 10: 3319243179 ISBN 13: 9783319243177
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 68,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 72,84
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319243179 ISBN 13: 9783319243177
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 100,15
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 456 pages. 9.25x6.10x0.94 inches. In Stock.