1. Turing's revolution : the impact of his ideas about computability /: the impact of his ideas about computability. (2016) Editors: Sommaruga, Giovanni; Strahm, Thomas (Thomas Adrian) Record Type: Book Extent: 1 online resource (xxiv, 329 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. The incomputable : journeys beyond the Turing barrier /: journeys beyond the Turing barrier. (2017) Editors: Cooper, S. B (S. Barry); Soskova, Mariya Record Type: Book Extent: 1 online resource (292 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings /: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings. ([2017]) Editors: Petre, Ion; Manea, Florin; Kari, J (Jarkko) Other Names: Conference on Computability in Europe, 13th Record Type: Book Extent: 1 online resource (xiii, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings /: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings. (2018) Editors: Manea, Florin; Miller, Russell G; Nowotka, Dirk Other Names: Conference on Computability in Europe, 14th Record Type: Book Extent: 1 online resource (xv, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings /: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings. (2016) Editors: Beckmann, Arnold; Bienvenu, Laurent; Jonoska, Nataša, 1961- Other Names: Conference on Computability in Europe, 12th Record Type: Book Extent: 1 online resource (xvi, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. (2015) Editors: Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya Other Names: Conference on Computability in Europe, 11th Record Type: Book Extent: 1 online resource (xv, 363 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Turing's cathedral : the origins of the digital universe /: the origins of the digital universe. (2013) Authors: Dyson, George, 1953- Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods /: basic constructive-computational theory and methods. (2021) Authors: Li, Huishi Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computability theory. (2017) Other Names: Cooper, S. B (S. Barry) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computable structures and the hyperarithmetical hierarchy. (2000) Other Names: Ash, C. J; Knight, J (Julia) Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗