„computability theory“

Suchergebnisse

1.000+ Treffer

• Universal Codes for Broadcast Systems with Physical Layer Security and Their Algorithmic Computability in Quantum Information Theory
  Saeedinaeeni, Sajad ; Boche, Holger ; König, Robert 2022 Universitätsbibliothek der TU München
• Guest Editorial: Tenth International Conference on Computability, Complexity and Randomness (CCR 2015)
  Lewis-Pye, Andrew ; Merkle, Wolfgang
• On the Uniform Computational Content of Computability Theory
  Brattka, Vasco ; Hendtlass, Matthew ; Kreuzer, Alexander P.
• Layerwise Computability and Image Randomness
  Bienvenu, Laurent ; Hoyrup, Mathieu ; Shen, Alexander
• Theory of Computation
  Sina, Lucien 2025 epubli
• Computability of Classification and Deep Learning: From Theoretical Limits to Practical Feasibility Through Quantization
  Boche, Holger ; Fojtik, Vit ; Fono, Adalbert ; Kutyniok, Gitta
• Computability and Complexity – Foundations and Tools for Pursuing Scientific Applications
  Downey, R. G. 2024 Springer Nature Switzerland, Imprint: Springer
• Theory of Computation
  Sina, Lucien 2025 epubli
• Order-theoretic models for decision-making: learning, optimization, complexity and computation
  Hack, Pedro 2024 Universität Ulm
• Aspects of Forcing in Descriptive Set Theory and Computability Theory
  Wansner, Lucas ; Löwe, Benedikt 2023 Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
• Computability in constructive type theory
  Forster, Yannick ; Smolka, Gert 2021 Saarländische Universitäts- und Landesbibliothek
• Mathematical Pluralism: Constructive Mathematics and Economic Theory
  Steins, Stefan Arno ; Niebergall, Karl-Georg ; Friend, Michèle 2021 Humboldt-Universität zu Berlin
• Mathematical Theory and Computational Practice – 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  Ambos-Spies, Klaus 2009 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
  Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. ˜deœ 2014 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
• Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
• Models of Computation in Context – 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
  Löwe, Benedikt ; Normann, Dag ; Soskov, Ivan ; Soskova, Alexandra 2011 Springer Berlin Heidelberg
• Fundamentals of Computation Theory – 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  Owe, Olaf ; Steffen, Martin ; Telle, Jan Arne 2011 Springer Berlin Heidelberg
• Logic and theory of algorithms – proceedings
  Beckmann, Arnold 2008 Springer
• Theory of Computation
  Sina, Lucien 2025 BoD - Books on Demand