Navegar

Colección

Datos Estadísticas

Lista de

Licenciado en Ciencias de la Computación
107
2010
7
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.
Lanzarotti, Esteban Omar. (2010). "Una generalización de Unsat Core para algoritmos de Sat-Solving basados en DPLL". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Viso, Andrés Ezequiel. (2010). "Sistemas de tipos para λ-cálculo y Lógica Combinatoria". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.