Call Number (LC) Title Results
QA9.59 .B6713 1989 Computability, complexity, logic / 1
QA9.59 .B6713 1989eb Computability, complexity, logic 1
QA9.59 .B75 1994 Computability : a mathematical sketchbook / 2
QA9.59 .C37 2019 Ordinal computability : an introduction to infinitary machines / 1
QA9.59 .C65 2015eb Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / 1
QA9.59 .C65 2016eb Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings / 1
QA9.59 .C655 2011eb Computability in context : computation and logic in the real world / 1
QA9.59. C66 2000 Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder / 1
QA9.59. -- C66 2000eb Computability Theory and Its Applications : Current Trends and Open Problems. 1
QA9.59 .C66 2010 Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / 1
QA9.59 .C66 2011 Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings / 1
QA9.59 .C66 2012 How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / 1
QA9.59 .C66 2013 The nature of computation logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / 1
QA9.59 .C66 2017 Unveiling dynamics and complexity : 13th Conference on Computability in Europe, CIE 2017, Turku, Finland, June 12-16, 2017 : proceedings / 1
QA9.59 .C67 2005 New computational paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings /
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings / 		4
QA9.59 .C67 2006 Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
Logical approaches to computational barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings / 		3
QA9.59 .C67 2007eb Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings / 1
QA9.59 .C67 2008eb Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings / 1
QA9.59 .C67 2009 Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings / 1
QA9.59 .C67 2019 Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / 1