Εξώφυλλο

Κώδικας QR

Enumerability, decidability, computability: An introduction to the theory of recursive functions/

Κύριος συγγραφέας:	Hermes, Hans.
Άλλοι συγγραφείς:	Hermann, G. T.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Berlin: Springer, 1969
Έκδοση:	2d rev. ed.
Ταξινομικός αριθμός:	511.2 HE
Θέματα:	Recursive functions. Algorithms. Computable functions.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Theory of recursive functions and effective computability /
από: Rogers, H. (Hartley), 1926-
Στοιχεία έκδοσης: (1987)

Theory of computation /
από: Kozen, Dexter 1951-
Στοιχεία έκδοσης: (2006)

Introduction to computability /
από: Hennie, Frederick C.
Στοιχεία έκδοσης: (1977)

Computability and logic /
από: Boolos, George.
Στοιχεία έκδοσης: (1989)

Introduction to the theory of computation.
από: Engeler, Erwin.
Στοιχεία έκδοσης: (1973)

Combinatorial enumeration /
από: Goulden, I. P.
Στοιχεία έκδοσης: (1983)

Enumerative combinatorics, vol. 2 /
από: Stanley, Richard P., 1944-
Στοιχεία έκδοσης: (1999)

Counting : the art of enumerative combinatorics /
από: Martin, George Edward 1932-
Στοιχεία έκδοσης: (2001)

Enumerative combinatorics /
από: Χαραλαμπίδης, Χαράλαμπος Α.
Στοιχεία έκδοσης: (2002)

Recursive macroeconomic theory /
από: Ljungqvist, Lars.
Στοιχεία έκδοσης: (2004)

Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling /
από: aGoldman, Ron, 1952-
Στοιχεία έκδοσης: (2003)

Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling /
από: Goldman, Ron, 1947-
Στοιχεία έκδοσης: (2003)

Fractals, chaos, power laws : minutes from an infinite paradise /
από: Schroeder, M. R. (Manfred Robert), 1926-
Στοιχεία έκδοσης: (1991)

Finite operator calculus /
από: Rota, Gian-Carlo.
Στοιχεία έκδοσης: (1975)

Introduction to algorithms /
Στοιχεία έκδοσης: (2001)

Computer organization and architecture : principles of structure and function /
από: Stallings, William.
Στοιχεία έκδοσης: (1987)

Machine vision theory, algorithms, practicalities /
από: Davies, E. R.
Στοιχεία έκδοσης: (2005)

An introduction to the analysis of algorithms /
από: Sedgewick, Robert, 1946-
Στοιχεία έκδοσης: (1996)

Computer algorithms : Introduction to design and analysis /
από: Baase, Sara.
Στοιχεία έκδοσης: (2000)

Introduction to parallel algorithms /
από: Xavier, C.
Στοιχεία έκδοσης: (1998)

Introduction to Algorithms /
από: Cormen, Thomas H.
Στοιχεία έκδοσης: (1989)

Control systems functions and programming approaches/
από: Χωραφάς, Δημήτρης Ν.
Στοιχεία έκδοσης: (1966)

An Introduction to computer science : an algorithmic approach /
από: Tremblay, Jean-Paul, 1938-
Στοιχεία έκδοσης: (1979)

Life-like characters : tools, affective functions, and applications /
Στοιχεία έκδοσης: (2004)

Algorithms /
από: Sedgewick, Robert, 1946-
Στοιχεία έκδοσης: (1983)

Theoretical computer science : introduction to automata, compurability, complexity, algorithmics, randomization, communication, and cryptography /
από: Hromkovic, Juraj, 1958-
Στοιχεία έκδοσης: (2004)

An introduction to 3D computer vision techniques and algorithms
από: Cyganek, Boguslaw.
Στοιχεία έκδοσης: (2009)

Computer organization and architecture : principles of structure and function /
από: Stallings, William.
Στοιχεία έκδοσης: (1990)

Introduction to the design and analysis of algorithms /
από: Goodman, Seymour E.
Στοιχεία έκδοσης: (1977)

An introduction to genetic algorithms /
από: Mitchell, Melanie.
Στοιχεία έκδοσης: (1999)

An Introduction to Distributed algorithms /
από: Barbosa, Valmir C.
Στοιχεία έκδοσης: (1996)

Dictionary for computer languages /
από: Breuer, Hans.
Στοιχεία έκδοσης: (1966)

Mathematics for the analysis of algorithms /
από: Greene, Daniel H., 1955-
Στοιχεία έκδοσης: (1982)

Computer arithmetic algorithms /
από: Koren, Israel, 1945-
Στοιχεία έκδοσης: (2002)

Dynamic reconfiguration : architectures and algorithms /
από: Vaidyanathan, Ramachandran.
Στοιχεία έκδοσης: (2003)

Software sizing and estimating : Mk II FPA (function point analysis) /
από: Symons, Charles R.
Στοιχεία έκδοσης: (1991)

Transactional information systems : theory, algorithms, and the practice of concurrency control and recovery /
από: Weikum, Gerhard.
Στοιχεία έκδοσης: (2002)

Transactional information systems theory, algorithms, and the practice of concurrency control and recovery /
από: Weikum, Gerhard.
Στοιχεία έκδοσης: (2002)

Computer arithmetic : algorithms and hardware designs /
από: Parhami, Behrooz.
Στοιχεία έκδοσης: (2000)

Introduction to arithmetical functions /
από: McCarthy, Paul Joseph.
Στοιχεία έκδοσης: (1985)