| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers | 978-3-540-42197-9 (3-540-42197-1) | 2008 | Peter Hertling · Jens Blanck |
| Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers | 978-3-642-03091-8 (3-642-03091-2) | 2009 | Margaret Archibald · Valentin F. Goranko · Benedikt Lowe |
| The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, ... Notes in Computer Science, Band 7921) | 978-3-642-39052-4 (3-642-39052-8) | 2013 | Paola Bonizzoni · Benedikt Löwe |