Call Number (LC) Title Results
QA9.58 .W44 2005eb Complexity theory exploring the limits of efficient algorithms / 1
QA9.58 .W478 2014 Quantitative Magnetic Resonance Imaging of the Brain : Applications for Tissue Segmentation and Multiple Sclerosis. 2
QA9.58 .Z35 2020 Deep Reinforcement Learning in Action / 2
QA9.58 ebook Didáctica para el aprendizaje de algoritmos /
Esquemas algoritmicos 		2
QA9.59 The foundations of computability theory /
Twenty years of theoretical and practical synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings /
Unity of logic and computation : 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings /
Handbook of computability and complexity in analysis
COMPUTABLE STRUCTURE THEORY : within the arithmetic.
Theory of computation /
Computability
Theory of computation
Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings /
Higher-order computability /
Turing computability : theory and applications /
Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / 		15
QA9.59 .A84 2000 Computable structures and the hyperarithmetical hierarchy / 1
QA9.59 .A84 2000eb Computable structures and the hyperarithmetical hierarchy 1
QA9.59 .B66 2002 Computability and logic / 1
QA9.59 .B66 2002eb Computability and logic. 1
QA9.59 .B66 2007 Computability and logic. 1
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