Verlag: Rowman & Littlefield Publishers, Incorporated, 2018
ISBN 10: 1633883752 ISBN 13: 9781633883758
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 54,28
Gebraucht ab EUR 3,69
Mehr entdecken Softcover
Verlag: C Hurst & Co Publishers Ltd, 2017
ISBN 10: 1849048711 ISBN 13: 9781849048712
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 7,56
Verlag: Edition Körber, 2018
ISBN 10: 3896842668 ISBN 13: 9783896842664
Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 50,99
Gebraucht ab EUR 13,12
Mehr entdecken Softcover
Verlag: Editio Körber Hamburg 2018, 2018
Anbieter: Antiquariat AndereWelt, Landsberg, Deutschland
brosch. 345 S. sehr guter Zustand.
Verlag: riva Verlag, 2019
ISBN 10: 3742308602 ISBN 13: 9783742308603
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 54,99
Gebraucht ab EUR 19,09
Mehr entdecken Hardcover
Verlag: Flint, 2024
ISBN 10: 1803994592 ISBN 13: 9781803994598
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Verlag: ReadHowYouWant, 2022
ISBN 10: 036938475X ISBN 13: 9780369384751
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Good.
Verlag: Flint, 2022
ISBN 10: 0750999365 ISBN 13: 9780750999366
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
Hardcover. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Verlag: Springer, Berlin, 2001
ISBN 10: 3540428631 ISBN 13: 9783540428633
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Paperback. Zustand: Very Good. Paperback - LNCS 2239. Edges and leading corners are lightly worn; faint crease at rear lower leading corner. Small crease at spine foot; spine head is bumped. Very few minor marks on page block. Pages are clean and sound throughout volume; all text is clear. TS. Used.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 139,98
Gebraucht ab EUR 49,90
Mehr entdecken Softcover
Verlag: Lulu.com, 2020
ISBN 10: 0244557306 ISBN 13: 9780244557300
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 114 | Sprache: Englisch | Produktart: Bücher.
Verlag: Dordrecht, Springer Netherlands, 2006
ISBN 10: 1402045522 ISBN 13: 9781402045523
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
293 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9781402045523 Sprache: Englisch Gewicht in Gramm: 990.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 233,01
Gebraucht ab EUR 59,90
Mehr entdecken Hardcover
Anbieter: Antiquariat ARS LIBRI, Andreas Lutz, Windeck, Deutschland
Hamburg, Körber 2018. 345 Seiten. Orig. Softocver, 8°. Name am Vorsatz, sonst sehr gut erhalten.
Verlag: Riva, München, 2019
Anbieter: Buchhandlung Lutz Heimhalt, Hamburg Fuhlsbüttel, HH, Deutschland
PP, 320S, gutes Exemplar.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540262768 ISBN 13: 9783540262763
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullrange of topics listed in the call for papers.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540678395 ISBN 13: 9783540678397
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d'Est erel in Qu ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year's symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort's failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re ection of the increased maturity of the eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
Verlag: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319231138 ISBN 13: 9783319231136
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences; manipulation, learning and other issues; utility and decision theory; argumentation; bribery and control; social choice; allocation and other problems; doctoral consortium.
Verlag: Springer Netherlands, 2014
ISBN 10: 9400787154 ISBN 13: 9789400787155
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's 'Principia mathematica'.In 1960, Martin Davis and Hillary Putnam introduced their eponymous decision procedure for satisfiability reasoning (though, for space reasons, it was quickly superseded by the modified procedure proposed by Martin Davis, George Logemann and Donald Loveland two years later). In 1971, Stephen Cook's proof that propositional satisfiability is NP-Complete placed satisfiability as the cornerstone of complexity theory.
Anbieter: Antiquariaat Wim de Goeij, Kalmthout, ANTW, Belgien
Verbandsmitglied: ILAB
Erstausgabe
4. London, Hurst and Company, 2017, in-8°, 269 pp, publisher's cloth with dust wrapper. Nice copy of the first hardback edition. ISBN 9781849048712 .