Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,75
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 51,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 59,70
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,97
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,78
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 73,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 79,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 70,62
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Prima edizione
Paperback. Condizione: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,31
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models. This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 81,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 72,06
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 73,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Da: Revaluation Books, Exeter, Regno Unito
EUR 83,21
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 95,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 20th InternationalConference on Theory and Applications of Satisfiability Testing, SAT2017, held in Melbourne, Australia, in August/September 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
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 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.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 2024th edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,55
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock.
EUR 66,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Exponential Time Algorithms | Structures, Measures, and Bounds | Serge Gaspers | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | VDM Verlag Dr. Müller | EAN 9783639218251 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Da: Revaluation Books, Exeter, Regno Unito
EUR 125,77
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 85,59
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024.The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length.They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 131,74
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models. This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 150,98
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 154,55
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.