„Computability“

Suchergebnisse

457 Treffer

• New Computational Paradigms – First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
  Cooper, Barry S. 2005 Springer Berlin Heidelberg
• Logic and theory of algorithms – proceedings
  Beckmann, Arnold 2008 Springer
• Computation and logic in the real world – proceedings
  Cooper, Stuart B. 2007 Springer
• Logical approaches to computational barriers – proceedings
  Beckmann, Arnold 2006 Springer
• Computability and complexity in analysis – 4th international workshop ; selected papers
  Blanck, Jens 2001 Springer
• Theory of Computation
  Sina, Lucien 2025 BoD - Books on Demand
• Computability aspects in statistical learning
  Kattermann, David 2025 KOPS Universität Konstanz
• Computability and l2-Betti Numbers
  Uschold, Matthias ; Löh, Clara ; Friedl, Stefan 2022 Universitätsbibliothek Regensburg
• Theory of Computation
  Sina, Lucien 2025 BoD – Books on Demand
• Editorial: Special Issue on Computability, Complexity and Randomness
  Greenberg, Noam
• Theory of Computation
  Sina, Lucien 2025 BoD - Books on Demand
• On the logical and computational properties of the Vitali covering theorem
  Normann, Dag ; Sanders, Sam 2024 Ruhr-Universität Bochum
• Theory of Computation
  Sina, Lucien 2025 epubli
• Corrigendum: An NMR‐Driven Crystallography Strategy to Overcome the Computability Limit of Powder Structure Determination: A Layered Aluminophosphate Case
  Bouchevreau, Boris ; Martineau, Charlotte ; Mellot‐Draznieks, Caroline ; Dutour, Julien ; Tuel, Alain ; Suchomel, Matthew R. ; Trébosc, Julien ; Lafon, Olivier ; Amoureux, Jean‐Paul ; Taulelle, Francis
• Weihrauch Complexity: Structuring the Realm of Non-Computability (Dagstuhl Seminar 25131)
  Brattka, Vasco ; Marcone, Alberto ; Pauly, Arno ; Westrick, Linda ; Gill, Kenneth
• Programs, Proofs, Processes – 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
  Ferreira, Fernando 2010 Springer Berlin Heidelberg
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.) – SWITZERLAND: SPRINGER, OUTSTANDING CONTRIBUTIONS TO LOGIC, 10, 2016, 464 PP., US $ 129.00, ISBN-13: 978-3-319-41841-4
  von Plato, Jan
• Countability constraints in order-theoretic approaches to computability
  Hack, Pedro ; Braun, Daniel A. ; Gottwald, Sebastian 2024 Universität Ulm
• Theory of Computation
  Sina, Lucien 2025 epubli