Su búsqueda retornó 17 resultados.

Ordenar
Resultados
1.
Asimilación de datos por ensambles y tratamiento de errores : aplicaciones en modelos epidemiológicos / por Tadeo Javier Cocucci, director Manuel Pulido. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2022
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, 2022.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C COC.
2.
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones / por Facundo Molina, director Nazareno Aguirre. por Idioma: Español
Detalles de publicación: [S.l. : s.n. ], 2022
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, 2022.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C MOLt.
3.
Mutación de expresiones de navegación para testing y reparación / por Simón Emmanuel Gutiérrez Brida; director Nazareno Matías Aguirre. por
Detalles de publicación: [S.l. : s.n. ], 2018
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, 2018.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C GUT.
4.
Sistema de instrumentación estática de código fuente para mocking de funciones y objetos / Andrés Tiraboschi. 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 - 23643.
5.
Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales / Luis Miguel Vargas Calderon. 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 23 - 23536.
6.
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.
7.
Mejoras al testing exhaustivo acotado / Valeria Bengolea. 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 BEN.
8.
PEF: Python Error Finder / Bordese, Andrés M., Hayes, Tomás. por
Detalles de publicación: [S.l. : s.n. ], 2014
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, 2014.
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22201.
9.
Análisis de diagnosticabilidad en sistemas distribuidos / Gonzalo Bonigo. por
Detalles de publicación: [S.l. : s.n. ], 2012
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, 2012.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 13 - 21689.
10.
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.
11.
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real / Gabriel Leonardo Miretti. 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 - 20758, ...
12.
Software testing : a craftsman's approach / Paul C. Jorgensen por
Edición: 3rd ed.
Detalles de publicación: Boca Raton : Auerbach Publications, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.5 J826.
13.
Automating specification-based software testing / por
Detalles de publicación: Washington : IEEE Computer Science, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.5 P858 .
14.
ASP sin errores / Derek Ferguson. por Series Biblioteca del programador
Detalles de publicación: Madrid ; Buenos Aires : McGraw-Hill, Osborne, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 F532 .
15.
Automated software testing : introduction, management and perfomance / Elfride Dustin, Jeff Rashka, John Paul. por
Detalles de publicación: Boston : Addison-Wesley, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C D2.5 D974 , ...
16.
Testing applications on the web : test planning for mobile and internet-based systems / Hung Quoc Nguyen, Bob Johnson, Michael Hackett. por
Detalles de publicación: Indianapolis : Wiley Publishing, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D2.5 N576 .
17.
Derivación de contraejemplos para Model Checking Cuantitativo / Miguel Eduardo Andrés. por
Detalles de publicación: [S.l. : s.n.], 2006
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, 2006.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: TE C AND ej.2, ... Ítems disponibles para referencia: FaMAF: No para préstamo (1)Signatura topográfica: TE C AND.
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)