Tesis >  TEMA


cerrar esta sección de la biblioteca Computación    [ 80 tesis ]
cerrar esta sección de la biblioteca Lenguajes y Sistemas Informáticos    [ 2 tesis ]
Bonelli, Eduardo.   "Reescritura de términos y sustituciones explícitas"   (2003)  Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires

pdf  Ver el documento (formato PDF)                 Resumen            Registro            Cita                     
Moscato, Mariano Miguel.   "Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving"   (2013)  Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires

pdf  Ver el documento (formato PDF)                 Resumen            Registro            Cita                     
     http://digital.bl.fcen.uba.ar
Biblioteca Central Dr. Luis Federico Leloir - Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires
Intendente Güiraldes 2160 - Ciudad Universitaria - Pabellón II - C1428EGA - Tel. (54 11) 4789-9293 int 34