Biblioteca

Your search returned 7 results.

Not what you expected? Check for suggestions
La nueva mente del emperador / Roger Penrose ; traducción de Javier García Sanz.

by Penrose, Roger, 1931- | García Sanz, Javier [tr.].

Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Barcelona : Grijalbo Mondadori, 1999Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 006.3 P417n (1).

The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis

by Davis, Martin [Ed.].

Publisher: New York: Dover Publications 1965Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 U533 (1).

Introducción a la teoría de autómatas, lenguajes y computación/ John E. Hopcroft, Rajeev Motwani y Jeffrey D. Ullman

by Hopcroft, John E | Motwani, Rajeev Ullman, Jeffrey D.

Edition: 2 Publisher: Madrid: Pearson 2002Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 H662i 2a.ed (2).

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis

by Davis, Martin [Ed.].

Publisher: Mineola: Dover Publications, 1993Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 U533 (1).

Escenarios de aprendizaje para estructura de datos/ Diana Clemencia Melo Martinez, Juan José Ochoa Muñoz y Omar Julián Polanía Torres

by Melo Martínez, Diana Clemencia | Ochoa Muñoz, Juan José Polanía Torres, Omar Julián Albornoz Bueno, Juan, dir.

Publisher: Bogotá: Escuela Colombiana de Ingeniería 2005Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 003 M356e Ts (2).

Ambiente visual de la Maquina de Turing (AVIMAT) / Diana Blanca Díaz Grijalba, Andrés Escobar Márquez y Wilmer Edicson Garzón Alfonso

by Díaz Grijalba, Diana Blanca | Escobar Márquez, Andrés | Garzón Alfonso, Wilmer Edicson | Chaparro Aguilar, Raúl Alfredo, dir.

Publisher: Colombia: Escuela Colombiana de Ingeniería, 2005Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 003 D419a Ts (2).

Lenguajes formales y teoría de la computación/ John C. Martin

by Martin, John C.

Edition: 3 Publisher: México: McGraw-Hill 2008Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 M177L 3a.ed (2).