Da: Revaluation Books, Exeter, Regno Unito
EUR 13,22
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. In Stock.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 54,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 62,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 26,37
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 116 pages. Italian language. 9.00x6.00x0.27 inches. In Stock.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,74
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 70,96
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. pp. 538.
Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Da: Revaluation Books, Exeter, Regno Unito
EUR 83,30
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 450 pages. 9.25x6.10x1.25 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference onTheory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal withSAT interpreted in a broad sense, including theoretical advances (suchas exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theory and Applications of Satisfiability Testing - SAT 2020 | 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings | Luca Pulina (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2020 | Springer | EAN 9783030518240 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Jul 2020, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 23rd International Conference onTheory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal withSAT interpreted in a broad sense, including theoretical advances (suchas exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. 552 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 82,53
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 538.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 81,75
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 538.
Lingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemi.
Lingua: Inglese
Editore: Springer, Springer Jul 2020, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch.