Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,60
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 66,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
EUR 71,59
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 73,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,67
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. 2024th edition NO-PA16APR2015-KAP.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,45
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 125,62
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Paperback. Zustand: 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.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 150,01
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 153,55
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. New. book.
Sprache: Englisch
Verlag: Springer International Publishing Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 75,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.