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 83,00
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.
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.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,64
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 127,55
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.