Items de ésta Colección (Ordenados por Fecha Publicación en orden Descendente): 221 al 231 de 231

Fecha de publicación	Título	Autor(es)
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
2002	Reuso de reglas de negocio: una experiencia de reuso de ontologías en un dominio restringido	Latorres, Enrique
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	CMDM: un método conceptual para la especificación de bases multidimensionales	Carpani, Fernando
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	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