EUR 126,19
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 147,13
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 704.
EUR 162,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 162,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 179,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 180,56
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030096947 ISBN 13: 9783030096946
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 117,69
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A\*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 191,38
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
EUR 180,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 181,61
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319635158 ISBN 13: 9783319635156
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 149,79
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A\*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3319635158 ISBN 13: 9783319635156
Librería: Revaluation Books, Exeter, Reino Unido
EUR 241,11
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 677 pages. 9.75x6.50x1.50 inches. In Stock.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 94,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 126,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing Feb 2019, 2019
ISBN 10: 3030096947 ISBN 13: 9783030096946
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 117,69
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A\*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning. 704 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, 2019
ISBN 10: 3030096947 ISBN 13: 9783030096946
Librería: moluna, Greven, Alemania
EUR 101,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal i.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 150,07
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 704.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 151,38
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 704.
Idioma: Inglés
Publicado por Springer International Publishing Apr 2018, 2018
ISBN 10: 3319635158 ISBN 13: 9783319635156
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 149,79
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A\*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning. 704 pp. Englisch.
Idioma: Inglés
Publicado por Springer, Birkhäuser Feb 2019, 2019
ISBN 10: 3030096947 ISBN 13: 9783030096946
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 117,69
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Editors and authors world-leading researchers in this domainSuitable for researchers, practitioners and graduate students engaged with constraint-based reasoningFirst part addresses theory and algorithms, second part tools and applicationsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 704 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 179,58
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Idioma: Inglés
Publicado por Springer International Publishing, 2018
ISBN 10: 3319635158 ISBN 13: 9783319635156
Librería: moluna, Greven, Alemania
EUR 136,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal i.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 184,02
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Springer, Birkhäuser Apr 2018, 2018
ISBN 10: 3319635158 ISBN 13: 9783319635156
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 160,49
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Editors and authors world-leading researchers in this domainSuitable for researchers, practitioners and graduate students engaged with constraint-based reasoningFirst part addresses theory and algorithms, second part tools and applicationsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 704 pp. Englisch.