S. G. · Sergio Gaspar · Sergio Gaspari
Springer · VDM Verlag Dr. Müller
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Exponential Time Algorithms: Structures, Measures, and Bounds | 978-3-639-21825-1 (3-639-21825-6) | 2010 | |
| Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Notes in Computer Science, Band 10491) | 978-3-319-66262-6 (3-319-66262-7) | 2017 | Toby Walsh |