logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

2012
7
Chicote, Marcos José. (2012). "Mejorando la usabilidad de herramientas de verificación". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Ciolek, Daniel Alfredo. (2012). "Fajita : generación automática de casos de test basada en verificación acotada". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Dubinsky, Manuel. (2012). "diffAlg : un software de álgebra diferencial". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Herrera, Valeria Paula. (2012). "Dieta de la raya picuda, Dipturus chilensis, en aguas de la Patagonia argentina durante el período 2011 y su comparación con períodos anteriores". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
López y Rosenfeld, Matías. (2012). "Mate Marote : plataforma educativa de juegos para el entrenamiento de competencias cognitivas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Verzilli, Martín Javier. (2012). "Modelización computacional de taquiarritmias cardíacas reentrantes validada por estudios electrofisiológicos clínicos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Zoppi, Edgardo Julio. (2012). "Enriqueciendo Code Contracts con Typestates". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.