Refinar su búsqueda

Su búsqueda retornó 49 resultados.

Ordenar
Resultados
1.
Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin. por
Detalles de publicación: Berlin : Springer, 2005
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.4 N665 .
2.
Análisis de binarios usando ejecución simbólica / Joshep Joel Cortez Sánchez. por
Detalles de publicación: [S.l. : s.n. ], 2018
Nota de disertación: Tesis (Lic. en Ciencias. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 24 - 23537.
3.
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic / Lucas Agustín Rearte. por
Detalles de publicación: [S.l. : s.n. ], 2017
Nota de disertación: Tesis (Lic. 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: Trabajo Especial Computación CAJA 21 - 22955.
4.
Construcción de programas que manejan dinámicamente la memoria / Renato Cherini. por
Detalles de publicación: [S.l. : s.n. ], 2015
Nota de disertación: Tesis (Doctor 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: T C CHE.
5.
Verificación formal de código binario / David Daniel Arch. por
Detalles de publicación: [S.l. : s.n. ], 2015
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 20 - 22401.
6.
Modeling and analysis of communicating systems / Jan Friso Groote and Mohammad Reza Mousavi. por
Detalles de publicación: Massachusetts : MIT, 2014
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.4 G876.
7.
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas / Raúl Enrique Monti. 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 - 21785.
8.
Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / Gastón Ingaramo. 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 16 - 22023.
9.
CLOUSEAU : verificación de propiedades de seguridad en protocolos distribuidos con probabilidades / Pedro Eduardo Waquim. por
Detalles de publicación: [S.l. : s.n. ], 2014
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, 2014.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22067.
10.
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala. por
Detalles de publicación: Massachusetts : MIT, 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.4 Ch544.
11.
Continuous probability and nondeterminism in labeled transaction systems / Nicolás Wolovick. por
Detalles de publicación: [S.l. : s.n. ], 2012
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, 2012.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C WOL.
12.
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM / Matías L. Marenchino. por
Detalles de publicación: [S.l. : s.n. ], 2011
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, 2011.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 11 - 20841.
13.
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas / Nicolás Emilio Bordenabe. por
Detalles de publicación: [S.l. : s.n. ], 2011
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, 2011.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: Trabajo Especial Computación CAJA 11 - 20856, ...
14.
Implementación eficiente de construcciones de alto nivel para la programación concurrente / Damián Barsotti. por
Detalles de publicación: [S.l. : s.n. ], 2011
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, 2011.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C BAR.
15.
Reducción de orden parcial en model checking probabilista simbólico / Luis María Ferrer Fioriti. 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 10 - 20252, ...
16.
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers. por Series Cambridge tracts in theoretical computer science ; 50
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 B142.
17.
Verificación en tiempo de ejecución con Streams / Santiago Gabriel Romero. 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 - 20553, ...
18.
Abstracción a estados esenciales en el Model Checker Probabilista PRISM / Nicolás H. Zandarin. por
Detalles de publicación: [S.l. : s.n. ], 2010
Nota de disertación: Tesis (Lic. en 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 - 20760, ...
19.
Introduction to process algebra / Wan Fokkink. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin : Springer, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 F662.
20.
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin : Springer, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 K93.
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)