„Computability“

Suchergebnisse

457 Treffer

• Enumerability · Decidability Computability – An Introduction to the Theory of Recursive Functions
  1969 Springer Berlin Heidelberg
• Membrane computing – 12th international conference ; revised selected papers
  Gheorghe, Marian ; Paun, Gheroghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Verlan, Sergey 2012 Springer
• Logic, Foundations of Mathematics, and Computability Theory – Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
  1977 Springer Netherlands
• On Computability and Triviality of Well Groups
  Franek, Peter ; Krčál, Marek
• Computability and Models – Perspectives East and West
  2002 Springer US
• Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation – In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
  Goldreich, Oded 2011 Springer Berlin Heidelberg
• Computability in Combinatory Spaces – An Algebraic Generalization of Abstract First Order Computability
  1992 Springer Netherlands
• Studies in complexity and cryptography – miscellanea on the interplay between randomness and computation
  Goldreich, Oded 2011 Springer
• Apartness and uniformity – a constructive development
  Bridges, Douglas S. ; Vîţă, Luminiţa Simona 2011 Springer
• The Foundations of Computability Theory
  Robič, Borut 2015 Springer Berlin Heidelberg
• Models of computation in context – proceedings
  Löwe, Benedikt ; Normann, Dag ; Soskov, Ivan ; Soskova, Alexandra 2011 Springer
• The computability of relaxed data structures: queues and stacks as examples
  Shavit, Nir ; Taubenfeld, Gadi
• 6th International Conference on Computability and Complexity in Analysis (CCA'09)
  Bauer, Andrej ; Hertling, Peter ; Ko, Ker-I 2009 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Proofs and Algorithms – An Introduction to Logic and Computability
  2011 Springer London
• Programs, proofs, processes – proceedings
  Ferreira, Fernando 2010 Springer
• Computability in Informetrics: Information-labyrinth Function
  Saxena, Raj Tilak 2015 LAP LAMBERT Academic Publishing
• Computability Theory
  Zimmermann, Karl-Heinz 2015 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• CCA 2009 – Sixth International Conference on Computability and Complexity in Analysis ; August 18 - 22, 2009, Ljubljana, Slovenia
  Bauer, Andrej 2009 FernUniv.
• Mathematical theory and computational practice – proceedings
  Ambos-Spies, Klaus 2009 Springer
• CCA 2008 – August 21 - 24, 2008, Hagen, Germany
  Brattka, Vasco 2008 Fernuniv.