Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 112,72
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 138,20
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 127,36
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 143,78
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 158,18
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Da: preigu, Osnabrück, Germania
EUR 104,70
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theory and Applications of Satisfiability Testing - SAT 2021 | 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings | Felip Manyà (u. a.) | Taschenbuch | xi | Englisch | 2021 | Springer | EAN 9783030802226 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 169,81
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 575 pages. 9.25x6.10x1.17 inches. In Stock.
EUR 178,65
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer International Publishing, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 117,69
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.
Da: UK BOOKS STORE, London, LONDO, Regno Unito
EUR 228,05
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloHardcover. Condizione: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Editore: Springer International Publishing Jul 2021, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 117,69
Convertire valutaQuantità: 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 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning. 576 pp. Englisch.
Editore: Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 101,04
Convertire valutaQuantità: 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 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed.
Da: Majestic Books, Hounslow, Regno Unito
EUR 166,42
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 168,37
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Editore: Springer International Publishing, Springer Nature Switzerland Jul 2021, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 117,69
Convertire valutaQuantità: 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 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.