Su búsqueda retornó 15 resultados.

|
1. Libros Teoría de autómatas y lenguajes formales / Dean Kelley ; traducción María Luisa Díez Platas ; revisión técnica Luis Joyanes Aguilar

por Kelley, Dean | Díez Platas, María Luisa [, tr. ] | Joyanes Aguilar, Luis [, revisión técnica].

Tipo de material: Texto Texto Editor: Madrid : Prentice Hall , c1995Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 K295t] (2), Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 K295t] (6).

2. Libros Teoría de la computación : lenguajes formales, autómatas y complejidad / J. Glenn Brookshear

por Brookshear, J. Glenn | Morales Peake, Ernesto [, versión española] | Díaz Labrador, Jesús Luis [, colaborador] | Levine, Guillermo [, colaborador].

Edición: 1a. ed.Tipo de material: Texto Texto Editor: México, D.F. : Addison-Wesley Longman , 1999Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 B873t] (2), Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 B873t] (6).

3. Libros Automata and computability / Dexter Kozen ; editor David Gries

por Kozen, Dexter | Gries, David [, ed.] | Schneider, Fred B [, ed.].

Tipo de material: Texto Texto Editor: Ithaca, N.Y. : Springer , 1997Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 K88a] (2).

4. Libros Automata, languages and programming / International Colloquium, ICALP'96 ; editor Friedhelm Meyer auf der Heide

por International Colloquium, ICALP'96 (23rd : 1996 : Paderborn) | Meyer auf der Heide, Friedhelm [, ed.] | Monien, Burkhard [, ed.].

Tipo de material: Texto Texto Editor: New York, N.Y. : Springer , 1996Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 I612c 23] (1).

5. Libros Teoría de autómatas y lenguajes formales / Pedro García ... [et al.]

por García, Pedro | Pérez, Tomás | Ruiz, José | Segarra, Encarna | Sempere, José M | Vázquez de Parga, M.

Tipo de material: Texto Texto Editor: México, D.F. : Alfaomega , 2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UART [Signatura topográfica: 519.713 T314t] (6).

6. Libros Introducción a la teoría de autómatas, lenguajes y computación : segunda edición / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; traducción y revisión técnica Manuel Alfonseca

por Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D | Alfonseca, Manuel [, tr. y rev. técnica] | Ortiga, Álvaro M [, tr. y rev. técnica] | Pulido, Estrella [, tr. y rev. técnica] | Rodríguez, Pilar [, tr. y rev. técnica].

Edición: 2a. ed. en españolTipo de material: Texto Texto Editor: Madrid : Pearson Educación , 2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UART [Signatura topográfica: 519.713 H791in2] (2).

7. Libros Elements of the theory of computation / Harry R. Lewis

por Lewis, Harry R | Papadimitriou, Christos H.

Tipo de material: Texto Texto Editor: Englewood Cliffs, N.J. : Prentice-Hall , 1981Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 L674e] (1).

8. Libros Computers and intractability : a guide to the theory of NP-Completeness / Michael R. Garey ... [et al.]

por Garey, Michael R | Johnson, David S.

Edición: 26th. ed.Tipo de material: Texto Texto Editor: New York, N.Y. : Freeman , [1991]Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.71 G229c26] (1).

9. Libros Computational complexity / Christos H. Papadimitriou

por Papadimitriou, Christos H.

Edición: repr. with corr.Tipo de material: Texto Texto Editor: Reading, Mass. : Addison Wesley Longman , 1995Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.71 P213c] (1).

10. Libros Elements of the theory of computation / Harry R. Lewis

por Lewis, Harry R | Papadimitriou, Christos H.

Edición: 2nd ed.Tipo de material: Texto Texto Editor: Upper Saddle River, N.J. : Prentice-Hall , 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UART [Signatura topográfica: 519.713 L674e2] (1), Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 L674e2] (3), Biblioteca Académica UACO [Signatura topográfica: 519.713 L674e2] (2).

11. Libros Introduction to the theory of computation / Michael Sipser

por Sipser, Michael.

Edición: 2nd ed.Tipo de material: Texto Texto Editor: Boston, Mass. : Thomson , 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 S618i2] (2).

12. Libros Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman

por Hopcroft, John E | Ullman, Jeffrey D.

Tipo de material: Texto Texto Editor: Reading, Mass. : Addison-Wesley , 1979Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UACO [Signatura topográfica: 519.713 H791int] (2), Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 H791int] (3).

13. Libros Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Jeffrey D. Ullman ; traducción Homero Flores Samaniego ; revisión técnica Reymundo Hugo Rangel

por Hopcroft, John E | Ullman, Jeffrey D | Flores Samaniego, Homero [, tr.] | Rangel, Reymundo Hugo [, rev. técnica].

Edición: 1a. ed., 4a. reimpr.Tipo de material: Texto Texto Editor: México, D.F. : Compañía Editorial Continental, CECSA , 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica UART [Signatura topográfica: 519.713 H791i] (1), Biblioteca Académica UACO [Signatura topográfica: 519.713 H791i] (2).

14. Libros Introducción a la teoría de autómatas, lenguajes y computación : tercera edición / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; traducción Vuelapluma

por Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D | Vuelapluma [, tr.].

Tipo de material: Texto Texto Editor: Madrid : Addison Wesley , 2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 H791in3] (1), Biblioteca Académica UACO [Signatura topográfica: 519.713 H791in3] (2).

15. Libros Lenguajes, gramáticas y autómatas : curso básico / Rafael Cases Muñoz ... [et al.]

por Cases Muñoz, Rafel | Màrquez Villodre, Lluís.

Edición: 1a. ed.Tipo de material: Texto Texto Editor: Barcelona : Universitat Politècnica de Catalunya, UPC , 2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Académica Malvina Perazo [Signatura topográfica: 519.713 C338l] (2).