| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Alan Turing: His Work and Impact | Hardcover | | 978-0-12-386980-7 | 2013 | J. van Leeuwen |
| Computability Theory | " | | 978-1-58488-237-4 | 2003 |
| Computability Theory, Second Edition | " | | 978-1-4398-3843-3 | 2017 |
| Computability Theory, Second Edition | Digital | | 978-1-4398-3844-0 | 2017 |
| Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings: Third ... | Taschenbuch | | 978-3-540-73000-2 | 2007 | Benedikt Löwe · Andrea Sorbi |
| Computing With Incomplete Information: The Mathematics of Enumeration and Positive Reducibilities | Hardcover | | 978-981-4383-14-1 | 2019 | Andrea Sorbi |
| How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, U.K., June 18-23, 2012, . . . ... Notes in Computer Science, Band 7318) | Taschenbuch | | 978-3-642-30869-7 | 2012 | Anuj Dawar |
| Logic Colloquium 2006 | Hardcover | | 978-0-521-11081-5 | 2009 | Herman Geuvers · Anand Pillay · Jouko Väänänen |
| Models and Computability | Paperback | | 978-0-521-63550-9 | 2010 | John K. Truss |
| New Computational Paradigms: Changing Conceptions of What is Computable | Hardcover | | 978-0-387-36033-1 | 2007 | Benedikt Löwe · Andrea Sorbi |
| Sets and Proofs | Paperback | | 978-0-521-63549-3 | 2013 |
| The Incomputable: Journeys Beyond the Turing Barrier | Taschenbuch | | 978-3-319-82881-7 | 2018 | Mariya I. Soskova |
| The Incomputable: Journeys Beyond the Turing Barrier | Gebunden | | 978-3-319-43667-8 | 2017 | " |
| The Once and Future Turing: Computing the World | Paperback | | 978-0-521-28250-5 | 2016 | Andrew Hodges |
| Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings | Taschenbuch | | 978-3-540-72503-9 | 2007 | Jin-Yi Cai · Hong Zhu |
| Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings | " | | 978-3-642-02016-2 | 2009 | Jianer Chen |
| Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings | " | | 978-3-319-06088-0 | 2014 | T V Gopal · Manindra Agrawal · Angsheng Li |
| Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings | " | | 978-3-540-34021-8 | 2006 | Jin-Yi Cai · Angsheng Li |