Lista de

COMPUTACION
97
2013
4
Moscato, Mariano Miguel. (2013). "Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.
de Caso, Guido. (2013). "Modelos abstractos de comportamiento basados en habilitación". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.
De Cristóforis, Pablo. (2013). "Sistema de navegación monocular para robots móviles en ambientes interiores/exteriores". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.
Pedre, Sol. (2013). "Una nueva metodologia para co-diseño de sistemas embebidos centrados en procesador usando FPGAs". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.