„Rekursive Funktion“

Suchergebnisse

1.000+ Treffer

• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. X + 246 S. m. 3 Abb. Berlin/Göttingen/Heidelberg 1961. Springer‐Verlag. Preis geb. DM 49,80
  Kämmerer
• schnorr, c. p., Rekursive Funktionen und ihre Komplexität, Stuttgart. Teubner. 1974. 192 S., DM 24,80. Teubner Studienbücher Informatik.
  Bachmann, K.‐H.
• Theoretische Informatik – Eine umfassende Einführung
  2018 Springer Berlin Heidelberg
• Grundkurs Theoretische Informatik – Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen
  Vossen, Gottfried ; Witt, Kurt-Ulrich 2016 Springer Fachmedien Wiesbaden
• Grundkurs Theoretische Informatik
  1992 Vieweg+Teubner Verlag
• Grundkurs Theoretische Informatik – Eine anwendungsbezogene Einführung – Für Studierende in allen Informatik-Studiengängen
  2011 Vieweg+Teubner Verlag
• E-Unifikation für primitiv-rekursive Baumfunktionen – Semantik und Implementierung
  Fassbender, Heinrich 1995 Shaker
• Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen
  Bonk, Thomas 1995 LRZ
• Sprache und Spracherlernung – unter mathemat.-biolog. Perspektive
  Beeh, Volker 1981 de Gruyter
• A Recursive Introduction to the Theory of Computation
  1994 Springer London
• Independence in Algebraic Complexity Theory
  Mittmann, Johannes 2013 Universitäts- und Landesbibliothek Bonn
• Three models of ordinal computability
  Seyfferth, Benjamin 2013 Universitäts- und Landesbibliothek Bonn
• Multivariate Algorithmics in Biological Data Analysis
  Uhlmann, Johannes ; Niedermeier, Rolf 2011 Universitätsbibliothek der Technischen Universität Berlin
• Model checking pushdown systems
  Schwoon, Stefan
• Reasoning about terminating functional programs
  Slind, Konrad
• Group integrals in chaotic quantum systems
  Kohler, Heiner
• Aspects of Complexity – Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
  Downey, R. G. ; Hirschfeldt, Denis Roman 2001 De Gruyter
• Forschen als System – Rekursive Reflexion als Methode der Erziehungswissenschaft
  Sühlsen, Thorsten 2017 Waxmann Verlag GmbH
• Logik für die Informatik – Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg