Your search returned 21 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Chicago Journal of Theoretical Computer Science [En línea] by
Material type: Text Text; Literary form: Not fiction
Publication details: Chicago : [S.n.], 1995-
Other title:
  • CJTCS
Availability: No items available.

Introducción moderna a la ciencia de la computación con un enfoque algorítmico by
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: México : Prentice Hall Hispanoamericana, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.1 GOL.

Place hold
Automata, languages and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 by Series: Lecture notes in computer science ; 140
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1982
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 ICA.

Place hold
Problemas, lenguajes y algoritmos by Series: Colección EBAI
Edition: 1a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Campinas : UNICAMP, 1986
Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: F.1 SAG, ...

Place hold
Introduction to the theory of computation by
Material type: Text Text; Literary form: Not fiction
Publication details: Boston : [S.n.], c1997
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.0 SIP .

Place hold
Computability, complexity, and languages : fundamentals of theoretical computer science by Series: Computer science and scientific computing
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: San Diego : [S.n.], c1994
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.0 DAV .

Place hold
Introduction to computer theory by
Edition: Rev. print. ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], c1991
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: F.0 COH .

Chicago Journal of Theoretical Computer Science [En línea] by
Material type: Text Text; Literary form: Not fiction
Publication details: Chicago : [S.n.], 1995-
Other title:
  • CJTCS
Availability: No items available.

Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2018
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_18E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Fundamentos de Teoría de la Computación by
Material type: Text Text; Literary form: Not fiction
Publication details: 2012
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12S0407_12E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2012
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12OI401_12E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Theories of abstract automata by
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva Jersey : Prentice Hall, 1969
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 ARB.

Place hold
Elements of the theory of computation by
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva Jersey : Prentice Hall, 1998
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.0 LEW .

Place hold
Fundamentos de Teoría de la Computación by
Material type: Text Text; Literary form: Not fiction
Publication details: 2014
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12SO407_14E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2014
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12OI401_14E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas Avanzada / 1 by
Material type: Text Text; Literary form: Not fiction
Publication details: 2014
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P12F04_14E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2015
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_15E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Fundamentos de Teoría de la Computación by
Material type: Text Text; Literary form: Not fiction
Publication details: 2018
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15S0407_18E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2019
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15OI401_19E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Teoría de la Computación y Verificación de Programas Avanzada by
Material type: Text Text; Literary form: Not fiction
Publication details: 2019
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: P15F04_19E. Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Place hold
Pages