Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
4
2007
2
Garbervetsky, Diego. (2007). "Síntesis de especificaciones paramétricas de utilización de la memoria dinámica". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Schapachnik, Fernando. (2007). "Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.