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:	Upper Saddle River, N.J. : Prentice-Hall, c1998.
Edición:	2nd ed.
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: (1981) - 2nd ed.

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

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

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

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

Theory of computation /
por: Wood, Derick, 1940-
Publicado: (1987) - 2nd ed.

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

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

Descriptive complexity /
por: Immerman, Neil, 1953-
Publicado: (1999) - 2nd ed.

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

Introduction to languages and the theory of computation /
por: Martin, John C.
Publicado: (1991) - 2nd ed.

Introduction to languages and the theory of computation /
por: Martin, John C.
Publicado: (1997) - 2nd ed.

Information and randomness : an algorithmic perspective /
por: Calude, Cristian, 1952-
Publicado: (1994) - 2nd ed.

Algebraic theory of machines, languages, and semi-groups,
por: Arbib, Michael A.
Publicado: (1968) - 2nd ed.

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

Jewels of formal language theory /
por: Salomaa, Arto.
Publicado: (1981) - 2nd ed.

Computational complexity /
por: Papadimitriou, Christos H.
Publicado: (1994) - 2nd ed.

Regular algebra and finite machines /
por: Conway, John Horton.
Publicado: (2012) - 2nd ed.

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

P, NP, and NP-completeness : the basics of computational complexity /
por: Goldreich, Oded.
Publicado: (2010) - 2nd ed.

Parameterized Complexity Theory
por: Flum, Jörg.
Publicado: (2006) - 2nd ed.

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

Notes on Set Theory
por: Moschovakis, Yiannis.
Publicado: (2006) - 2nd ed.

Introduction to the theory of complexity /
por: Bovet, Daniel P.
Publicado: (1994) - 2nd ed.

Algebraic complexity theory /
por: Bürgisser, Peter, 1962-
Publicado: (1997) - 2nd ed.

Modal logic and process algebra : a bisimulation perspective /
Publicado: (1995) - 2nd ed.

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

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

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

Automata, languages, and machines /
por: Eilenberg, Samuel.
Publicado: (1974) - 2nd ed.

The universal Turing machine : a half-century survey /
Publicado: (1995) - 2nd ed.

Structural complexity /
por: BalcaÌzar, JoseÌ Luis.
Publicado: (1995) - 2nd ed.

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

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

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

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

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

Discrete Mathematics Using a Computer
por: ODonnell, John.
Publicado: (2006) - 2nd ed.

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

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