Biblioteca Digital
|
Depositar
|
Políticas
|
Formularios
|
Eventos
Colecciones
Tesis de Posgrado
Tesis de Grado
Artículos
Programas
Publicaciones
Reportes Técnicos
Libros
Archivo
Fotografías
Archivo Oral de la Memoria - EXACTAS UBA
Publicaciones
Exactamente
La Ménsula
Anales AFA
El Hornero
Ecología Austral
El Cable
QED
QuimicaViva
Chemia
Holmbergia
Biblioteca Digital Exactas
Tesis de Grado
Todo
Texto
Título
Autor
Fecha
Colaboradores
Tema
Resumen
Navegar
Últimos publicados
Autor
Año
Título Obtenido - Año
Departamento - Año
Director y Director Asistente
Jurado
Consejero de Estudios
Palabras Clave
hidden
Colección
Datos
Estadísticas
Lista de
Licenciado en Ciencias de la Computación
108
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.
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400
Biblioteca
|
Campus Virtual
|
Trámites
|
Intranet
|
Webmail
|
Contacto
|
UBA