„computability“

Suchergebnisse

457 Treffer

• A Verified Cost Model for Call-By-Push-Value
  Chen, Zhuo Zoey ; Åman Pohjola, Johannes ; Rizkallah, Christine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Nature of Computation. Logic, Algorithms, Applications – 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
  Bonizzoni, Paola ; Brattka, Vasco ; Löwe, Benedikt 2013 Springer Berlin Heidelberg
• Evolving Computability – 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
  Beckmann, Arnold ; Mitrana, Victor ; Soskova, Mariya 2015 Springer International Publishing
• Unveiling Dynamics and Complexity – 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
  Kari, Jarkko ; Manea, Florin ; Petre, Ion 2017 Springer International Publishing
• Computability and Complexity – Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
  Day, Adam ; Fellows, Michael R. ; Greenberg, Noam ; Khoussainov, Bakhadyr ; Melʹnikov, Aleksandr V. ; Rosamond, Frances 2016 Springer International Publishing
• Pursuit of the Universal – 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
  Beckmann, Arnold ; Bienvenu, Laurent ; Jonoska, Nataša 2016 Springer International Publishing
• What Is the Minimum Number of Random Bits Required for Computability and Efficiency in Anonymous Networks?
  Kowalski, Dariusz R. ; Krysta, Piotr ; Kutten, Shay 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automata and Computability
  1977 Springer Berlin Heidelberg
• Automata and Computability
  Kozen, Dexter 1997 Springer New York
• Computable Structure Theory – A Unified Approach
  Downey, Rodney G. ; Melnikov, Alexander 2026 Springer Nature Switzerland, Imprint: Springer
• Crossroads of Computability and Logic: Insights, Inspirations, and Innovations – 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
  Beckmann, Arnold ; Oitavem, Isabel ; Manea, Florin 2025 Springer Nature Switzerland, Imprint: Springer
• Machines, Computations, and Universality – 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
  2015 Springer International Publishing
• Computing with Foresight and Industry – 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
  2019 Springer International Publishing
• Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
  Neumann, Eike 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Revolutions and Revelations in Computability – 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings
  2022 Springer International Publishing
• Connecting with Computability – 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
  2021 Springer Berlin Heidelberg
• Handbook of Computability and Complexity in Analysis
  2021 Springer International Publishing
• Beyond the Horizon of Computability – 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
  2020 Springer International Publishing
• Turing’s Revolution – The Impact of His Ideas about Computability
  Sommaruga, Giovanni 2015 Springer International Publishing
• The Computability of the World – How Far Can Science Take Us?
  2018 Springer International Publishing