Navegar

Colección

Datos Estadísticas

Lista de

Licenciado en Ciencias de la Computación
53
2010
5
Barenbaum, Pablo. (2010). "Superdevelopments en el cálulo -Lambda débil ". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Bendersky, Pablo Gabriel. (2010). "Hacia un entorno integrado para la verificación de contratos utilizando SAT solvers ". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Berinsky, Hernán. (2010). "Un modelo y algoritmo branch- and -cut para el problema del m-anillo-estrella con capacidades ". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Cardiff, Brian J.. (2010). "Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos ". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Grunberg, Matías; Krasny, Gastón. (2010). "Un análisis composicional para la inferencia de resúmenes de consumo de memoria ". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.