CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 13 results. Subscribe to this search

|
Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales / Luis Miguel Vargas Calderon.

by Vargas Calderón, Luis Miguel, 1981- | Wolovick, Nicolás, 1974- [dir.] | Lighezzolo, Rafael Andrés, 1978- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2018Dissertation note: 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. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C VARa] (1).
Lists:
Análisis de binarios usando ejecución simbólica / Joshep Joel Cortez Sánchez.

by Cortez Sánchez, Joshep Joel, 1986- | Wolovick, Nicolás, 1974- [dir.] | Brandán Briones, Laura, 1975- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2018Dissertation note: 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. Online access: Acceso a RDU-UNC Availability: Items available for loan: [Call number: TE C CORa] (1).
Lists:
Mejoras al testing exhaustivo acotado / Valeria Bengolea.

by Bengolea,Valeria Susana, 1979- | Aguirre, Nazareno Matías, 1976- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso a RDU-UNC Availability: Items available for loan: [Call number: T C BEN] (1).
PEF: Python Error Finder / Bordese, Andrés M. , Hayes, Tomás.

by Bordese, Andrés Matías, 1988- | Hayes, Tomás, 1991- | Barsotti, Damián, 1969- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital | Acceso RDU-UNC Availability: Items available for loan: [Call number: TE C BORp] (1).
Análisis de diagnosticabilidad en sistemas distribuidos / Gonzalo Bonigo.

by Bonigo, Gonzalo Ezequiel, 1987- | Brandán Briones, Laura, 1975- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BONa] (1).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real / Gabriel Leonardo Miretti.

by Miretti, Gabriel Leonardo, 1982- | D'Argenio, Pedro Ruben, 1968- [dir.] | Wolovick, Nicolás, 1974- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2010Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MIR] (2).
Software testing : a craftsman's approach / Paul C. Jorgensen

by Jorgensen, Paul C.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton : Auerbach Publications, 2008Availability: Items available for loan: [Call number: C D2.5 J826] (1).
Automating specification-based software testing /

by Poston, Robert M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Washington : IEEE Computer Science, 1996Availability: Items available for loan: [Call number: C D2.5 P858 ] (1).
ASP sin errores / Derek Ferguson.

by Ferguson, Derek.

Material type: book Book Publisher: Madrid ; Buenos Aires : McGraw-Hill, Osborne, 2001Availability: Items available for loan: [Call number: C D3 F532 ] (1).
Automated software testing : introduction, management and perfomance / Elfride Dustin, Jeff Rashka, John Paul.

by Dustin, Elfride | Rashka, Jeff | Paul, John, 1968-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, 1999Availability: Items available for loan: [Call number: C D2.5 D974 ] (2).
Testing applications on the web : test planning for mobile and internet-based systems / Hung Quoc Nguyen, Bob Johnson, Michael Hackett.

by Nguyen, Hung Quoc | Johnson, Bob, 1961- | Hackett, Michael, 1950-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis : Wiley Publishing, 2003Availability: Items available for loan: [Call number: C D2.5 N576 ] (1).
Derivación de contraejemplos para Model Checking Cuantitativo / Miguel Eduardo Andrés.

by Andrés, Miguel Eduardo, 1980- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2006Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006. Availability: Items available for loan: [Call number: TE C AND ej.2] (3). Items available for reference: [Call number: TE C AND] (1).

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

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

publicofamaf@gmail.com