Su búsqueda retornó 4 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) [Recurso Electrónico] / Miguel Ángel Romero González

por Romero González, Miguel Ángel | Rocha, Camilo [dr].

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico ; Audiencia: Especializado; Editor: Bogotá (Colombia) : Escuela Colombiana de Ingeniería Julio Garavito, 2017Nota de disertación: Tesis (Ingeniería de Sistemas) Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 006 R763s TS (1).

The XLisp primer/ Bonnie J. Fladung

por Fladung, Bonnie J.

Idioma: Inglés Editor: Englewood Cliffs: Prentice Hall 1987Disponibilidad: Ítems disponibles para préstamo: BodegaSignatura topográfica: 005.133 F573l (1).

Lenguajes formales y teoría de autómatas finitos: fundamentos para la creación de un traductor / Darwin Mercado Polo y Emiro de la Hoz Franco

por Mercado Polo, Darwin | Hoz Franco, Emiro de la.

Editor: Barranquilla: Corporación Universitaria de la Costa, 2009Disponibilidad: Ítems disponibles para préstamo: BodegaSignatura topográfica: 004.3 M372L (1).

Lisp introducción al cálculo simbólico/ David S. Touretzky

por Touretzky, David S.

Idioma: Español Editor: Madrid: Díaz de Santos 1986Disponibilidad: Ítems disponibles para préstamo: Biblioteca Jorge Álvarez LlerasSignatura topográfica: 005.133 T727L (1), BodegaSignatura topográfica: 005.133 T727L (1).