Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.34
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.43
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.33
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.51
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: 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.
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 85.51
Quantity: Over 20 available
Add to basketCondition: New. In.
US$ 84.02
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: New.
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: Revaluation Books, Exeter, United Kingdom
US$ 97.02
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: Revaluation Books, Exeter, United Kingdom
US$ 94.61
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. 2024th edition NO-PA16APR2015-KAP.
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: Revaluation Books, Exeter, United Kingdom
US$ 149.60
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Language: English
Published by Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: AussieBookSeller, Truganina, VIC, Australia
Paperback. Condition: 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.
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 176.05
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 180.20
Quantity: 1 available
Add to basketPaperback. Condition: New. New. book.
Condition: New. pp. 453.
Language: English
Published by Springer International Publishing Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 492 pp. Englisch.