Lista de

Departamento de Computación
151
2007
4
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.
López Pombo, Carlos Gustavo. (2007). "Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Ricillo, Marcela Leticia. (2007). "Eigenfungi. Desarrollo de un método de Data Mining para la detección automática de patrones en microscopía aplicada a micología médica". 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.