Εξώφυλλο

Κώδικας QR

Theory of computation /

Κύριος συγγραφέας:	Kozen, Dexter 1951-
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York : Barron's, 2006.
Σειρά:	Texts in computer science.
Ταξινομικός αριθμός:	511.352 ΚΟΖ
Θέματα:	Computational complexity. Computer science > Mathematics. Recursion theory.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Enumerability, decidability, computability: An introduction to the theory of recursive functions/
από: Hermes, Hans.
Στοιχεία έκδοσης: (1969)

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

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

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

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

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

Schaum's outline of theory and problems of essential computer mathematics /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1982)

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

Complexity of sequential and parallel numerical algorithms : [proceedings] /
Στοιχεία έκδοσης: (1973)

Introduction to discrete mathematics /
από: McEliece, Robert J.
Στοιχεία έκδοσης: (1989)

Discrete mathematics with algorithms /
από: Albertson, Michael O.
Στοιχεία έκδοσης: (1988)

Discrete mathematics : elementary and beyond /
από: Lovasz, Laszlo, 1948-
Στοιχεία έκδοσης: (2003)

Computational discrete mathematics : advanced lectures /
Στοιχεία έκδοσης: (2001)

Probability models for computer science /
από: Ross, Sheldon M. 1943-
Στοιχεία έκδοσης: (2002)

Data compression : methods and theory /
από: Storer, James A.
Στοιχεία έκδοσης: (1988)

Schaum's outline of theory and problems of data structures /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1986)

Mathematical theory of computation / Zohar Manna.
από: Manna, Zohar.
Στοιχεία έκδοσης: (1974)

Wavelets for computer graphics : theory and applications/
από: Stollnitz, Eric J.
Στοιχεία έκδοσης: (1996)

Advances in cryptology - EUROCRYPT 94, workshop on the theory andapplication of cryptographic techniques, Perugia, Italy, May 9-12, 11994: proceedings/
Στοιχεία έκδοσης: (1994)

Introductory combinatorics /
από: Bogart, Kenneth P.
Στοιχεία έκδοσης: (2000)

Soft computing and intelligent systems theory and applications /
Στοιχεία έκδοσης: (2000)

Advances in cryptology - EUROCRYPT 95, International conference onthe theory and application of cryptographic techniques, Saint-Malo,France, May 21-25, 1995: proceedings/
Στοιχεία έκδοσης: (1995)

A Theory of object /
από: Abadi, Martin.
Στοιχεία έκδοσης: (1996)

Geometric algebra for computer science an object-oriented approach to geometry /
από: Dorst, Leo, 1958-
Στοιχεία έκδοσης: (2007)

Combinatorial optimization : algorithms and complexity /
από: Papadimitriou, Christos H.
Στοιχεία έκδοσης: (1982)

Combinatorial optimization : algorithms and complexity /
από: Papadimitriou, Christos H.
Στοιχεία έκδοσης: (1998)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
από: Drusinsky, Doron.
Στοιχεία έκδοσης: (2006)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)

Mathematics for electrical engineering and computing
από: Attenborough, Mary 1954-
Στοιχεία έκδοσης: (2003)

Complexity and cryptography : an introduction /
από: Talbot, J. 1974-
Στοιχεία έκδοσης: (2006)

Artificial neural networks in real-life applications /
Στοιχεία έκδοσης: (2006)

Handbook of constraint programming
Στοιχεία έκδοσης: (2006)

Why programs fail a guide to systematic debugging /
από: Zeller, Andreas.
Στοιχεία έκδοσης: (2006)

Algorithm design /
από: Kleinberg, Jon.
Στοιχεία έκδοσης: (2006)

Foundations of multidimensional and metric data structures /
από: Samet, Hanan.
Στοιχεία έκδοσης: (2006)

Fundamental data compression
από: Pu, Ida Mengyi.
Στοιχεία έκδοσης: (2006)

Modern computer algebra /
από: Zur Gathen, Joachim von.
Στοιχεία έκδοσης: (2003)

Data streams : algorithms and applications /
από: Muthukrishnan, S.
Στοιχεία έκδοσης: (2005)

Journal of computers in mathematics and science teaching
Στοιχεία έκδοσης: (1981)

Data structures : theory and practice by A.T. Berztiss.-
από: Berztiss, A.T.
Στοιχεία έκδοσης: (1975)