Imagen de Portada

Elements of the theory of computation /

Guardado en:

Autor Principal:	Lewis, Harry R.
Otros Autores:	Papadimitriou, Christos H.
Formato:	Libro
Idioma:	English
Publicado:	Englewood Cliffs, N.J. : Prentice-Hall, c1981.
Series:	Prentice-Hall software series
Materias:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1998)

Introduction to automata theory, languages, and computation /
por: Hopcroft, John E., 1939-
Publicado: (1979)

Introduction to automata theory, languages, and computation /
por: Hopcroft, John E., 1939-
Publicado: (2001)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin, 1928-
Publicado: (1994)

Programs, machines, and computation : an introduction to the theory of computing /
por: Clark, Keith L.
Publicado: (1976)

Machines, languages, and computation /
por: Denning, Peter J., 1942-
Publicado: (1978)

Theory of computation /
por: Wood, Derick, 1940-
Publicado: (1987)

Introduction to the theory of computation /
por: Sipser, Michael.
Publicado: (1997)

Automata and languages : theory and applications /
por: Meduna, Alexander, 1957-
Publicado: (2000)

Computability, complexity, logic /
por: Börger, E. 1946-
Publicado: (1989)

Parameterized Complexity Theory
por: Flum, Jörg.
Publicado: (2006)

Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006)

Notes on Set Theory
por: Moschovakis, Yiannis.
Publicado: (2006)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007)

Descriptive complexity /
por: Immerman, Neil, 1953-
Publicado: (1999)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007)

Automata, languages, and machines /
por: Eilenberg, Samuel.
Publicado: (1974)

The cosmical knowledge and the human computer : excerpts and supplements /
por: Costescu, Ion.
Publicado: (1996)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

A theory of sets /
por: Morse, Anthony P.
Publicado: (1965)

The Calculus of Computation Decision Procedures with Applications to Verification /
por: Bradley, Aaron R.
Publicado: (2007)

Discrete Mathematics Using a Computer
por: ODonnell, John.
Publicado: (2006)

The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985)

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)

A formalization of set theory without variables /
por: Tarski, Alfred.
Publicado: (1987)

Éléments de logique mathématique : théorie des modèles /
por: Kreisel, Georg.
Publicado: (1967)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964)

Computational complexity : a conceptual perspective /
por: Goldreich, Oded.
Publicado: (2008)

Automata-theoretic aspects of formal power series /
por: Salomaa, Arto.
Publicado: (1978)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /
por: Mazzola, Guerino.
Publicado: (2006)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
por: Mazzola, Guerino.
Publicado: (2005)

Mathematical epistemology and psychology /
por: Beth, Evert Willem.
Publicado: (1966)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
por: Likiewicz, Maciej.
Publicado: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
por: Csuhaj-Varjú, Erzsébet.
Publicado: (2007)

Mathematical aspects of computer science /
Publicado: (1967)