Refinar su búsqueda

Su búsqueda retornó 36 resultados.

Ordenar
Resultados
1.
2.
3.
Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2 / por Mallku Ernesto Soldevila Raffa. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2021
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C SOL.
4.
Semántica estática para un lenguaje Pascal-like / Matías Federico Gobbi; director Alejandro Emilio Gadea. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2021
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 27 - 23892.
5.
Reconocimiento de entidades nombradas en texto de dominio legal / Karen Haag. por
Detalles de publicación: [S.l. : s.n. ], 2019
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 26 - 23829.
6.
7.
Compilación Certificada sobre Máquinas Abstractas de evaluación normal / Leonardo M. Rodríguez. por
Detalles de publicación: [S.l. : s.n. ], 2017
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C ROD.
8.
Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa. por
Detalles de publicación: [S.l. : s.n. ], 2015
Nota de disertación: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 18 - 22226.
9.
Semánticas de procesos para sistemas interactivos y sistemas probabilísticos / Matías David Lee. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C LEE.
10.
Estudio de la semántica del lenguaje intermedio il / Matías Emmanuel Debard. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 14 - 21917.
11.
Semánticas de procesos para sistemas interactivos / Eric Destefanis. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 15 - 22005.
12.
Botrix : plugin de bots colaborativos dentro de un juego 3D / Boris Godin. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 16 - 22025.
13.
Arquitectura de Software para aplicaciones de publicidad interactivas en ISDB-Tb, usando Ginga-NCL y servicios web / Sergio Daniel Canchi, Mario Humberto González. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Especialista en Servicios y Sistemas Distribuidos)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2013.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: TI SSD CAN.
14.
Estudio de semántica categórica para lenguajes Algol-Like / Alejandro Emilio Gadea. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22063.
15.
Entorno para la derivación de programas / Emmanuel Gunther. por
Detalles de publicación: [S.l. : s.n. ], 2013
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22068.
16.
Generación de código intermedio usando semántica funtorial / Leonardo Rodríguez. por
Detalles de publicación: [S.l. : s.n. ] , 2010
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Trabajo Especial Computación CAJA 11 - 20768, ...
17.
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT / Carolina Inés Dania. por
Detalles de publicación: [S.l. : s.n. ], 2009
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2009.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Trabajo Especial Computación CAJA 9 - 19496, ...
18.
Sistemas de especificación de transiciones probabilísticas : Formato de reglas y bisimulación como congruencia / Ariel M. Fiuri. por
Detalles de publicación: [S.l. : s.n. ], 2004
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2004.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C FIU ej.2, ...
19.
Simulación y análisis de modelos poblacionales matriciales / Ricardo J. Corín ; dir. por Oscar Humberto Bustos. por
Detalles de publicación: [S.l. : s.n.] , 2001
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C COR ej.2, ...
20.
Bisimulación condicional como congruencia / Gerardo Javier Saiz ; dir. por Javier O. Blanco. por
Detalles de publicación: [S.l. : s.n.], 1999
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 1999.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: TE C SAI ej.2, ...
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)