Order Total (1 Item Items):
Shipping Destination:
Gaspers Serge (41 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (37)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (41)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (17)
- Not Print on Demand (26)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
-
Condition: As New. Unread book in perfect condition.
-
Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Exponential Time Algorithms: Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Condition: New.
-
Exponential Time Algorithms: Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Condition: New.
-
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
SOFSEM 2024: Theory and Practice of Computer Science (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
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.
-
Exponential Time Algorithms: Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 61.69
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Sofsem 2024 - Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, Sofsem 2024, Cochem, Germany, February 19-23, 2024, Procee
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Paperback. Condition: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
-
Theory and Applications of Satisfiability Testing - SAT 2017
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Kartoniert / Broschiert. Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Theory and Applications of Satisfiability Testing - SAT 2017
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
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.
-
Theory and Applications of Satisfiability Testing ¿ SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
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.
-
Theory and Applications of Satisfiability Testing Sat 2017: 20th International Conference, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Paperback. Condition: Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock.
-
Condition: New. 2024th edition NO-PA16APR2015-KAP.
-
Sofsem 2024 - Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, Sofsem 2024, Cochem, Germany, February 19-23, 2024, Procee
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Paperback. Condition: Brand New. 517 pages. 9.25x6.10x1.05 inches. In Stock.
-
SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Language: English
Published by Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
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.
-
SOFSEM 2024: Theory and Practice of Computer Science (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
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.
-
Exponential Time Algorithms: Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Paperback. Condition: Like New. Like New. book.
-
-
-
Theory and Applications of Satisfiability Testing ¿ SAT 2017
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
Seller rating 5 out of 5 stars
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.
-
Exponential Time Algorithms Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Exponential Time Algorithms Structures, Measures, and Bounds
Language: English
Published by VDM Verlag Dr. Müller, 2010
ISBN 10: 3639218256 ISBN 13: 9783639218251
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
£ 63.62
£ 4.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
SOFSEM 2024: Theory and Practice of Computer Science
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Jan 2024, 2024
ISBN 10: 3031521129 ISBN 13: 9783031521126
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 520 pp. Englisch.
