Fecha de publicación | Título | Autor(es) |
2004 | Contribución al diseño de sistemas multi robots utilizando ALLIANCE | Tejera López, Gonzalo Daniel |
2004 | Extracción de información de la Web basado en ontologías | Fernández Peirano, Alvaro |
2003 | Sistemas de información de tráfico | Giosa Cuevas, Daniel |
2003 | Predicción de series temporales utilizando redes neuronales | Paggi Straneo, Horacio |
2003 | Transporte vertical: simulación y análisis de sistemas de ascensores | Hetzel, Andrés |
2003 | El calendario en la simulación a eventos discretos | Murray, Leslie |
2003 | Mantenimiento de bases de datos alimentadas con páginas web. Master Thesis | Steiner, Miriam |
2002 | Desarrollo basado en componentes para sistemas de gestión empresarial | Gayoso, Manuel |
2002 | Framework para acceder a bases de datos relacionales a través de internet | Moscatelli, Sandro |
2002 | Reuso de reglas de negocio: una experiencia de reuso de ontologías en un dominio restringido | Latorres, Enrique |
2002 | Marcadores del discurso en español : análisis y representación. Master Thesis | Prada, Juan José |
2002 | Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis | Cristiá, Maximiliano |
2001 | Diseño y mantenimiento de Data Warehouse a través de transformaciones de esquema. Master Thesis | Marotta, Adriana |
2001 | Diseño lógico de Data Warehouses a partir de esquemas multidimensionales | Peralta Costabel, Veronika del Carmen |
2000 | Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | Luna, Carlos |
2000 | CMDM: un método conceptual para la especificación de bases multidimensionales | Carpani, Fernando |
2000 | Diseño topológico de redes : casos de estudio :"The generalized Steiner problem"and "The Steiner 2-edge-connected subgraph problem" | Robledo, Franco |
1997 | Typed windows : an implementation of a programming language for graphics design. Master Thesis | Queirolo, Pablo J |
1995 | A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | Bove, Ana |
1991 | Course-of-values recursion in Martin-Löf's type theory | Peratto, Patricia |
Items de ésta Colección (Ordenados por Fecha Publicación en orden Descendente): 201 al 220 de 220