OPAC

Your search

Document Type: Sin Especificar Repository: 65 Year: 2014

Sort by Score Title Year -

801-810 from 1960 results (0.01 seconds)

Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: Typed windows : an implementation of a programming language for graphics design. Master Thesis
Language: Inglés
Repository: 65
Subject: DISENO GRAFICO / GRAPHICS DESIGN / TY WIN

Acceder
Title: GRASP heuristics for Wide Area Network design
Language: Inglés
Repository: 65
Subject: TOPOLOGICAL DESIGN / METAHEURISTIC / ACCESS NETWORK / BACKBONE NETWORK / SURVIVABILITY / GRASP / RNN

Acceder
Title: CMDM: un método conceptual para la especificación de bases multidimensionales
Language: Inglés
Repository: 65
Subject: DATA WAREHOUSE / OLAP / BASE DE DATOS MULTIDIMENSIONALES / MULTIDIMENSIAL DATABASE

Acceder
Title: Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
Language: Español
Repository: 65
Subject: ANALISIS DE SISTEMAS EN TIEMPO REAL / AUTOMATAS TEMPORIZADOS / TCTL / CTL / VERIFICACION DE MODELOS / TEORIA DE TIPOS / REAL TIME SYSTEMS / MODEL / TYPE THEORY

Acceder
Title: Diseño topológico de redes : casos de estudio :"The generalized Steiner problem"and "The Steiner 2-edge-connected subgraph problem"
Language: Español
Repository: 65
Subject: Diseño topológico / Redes / Requerimientos de conexión / Subgrafo2-arista-conexo / Algoritmo exacto / Algoritmo paralelo distribuído / Algoritmo aproximado / Metaheurística Ant System

Acceder
Title: Diseño y mantenimiento de Data Warehouse a través de transformaciones de esquema. Master Thesis
Language: Español
Repository: 65
Subject: DATA WAREHOUSE / DISENO DW / EVOLUCION ESQUEMA DW / DATA WAREHOUSE RELACIONAL / TRAZA DISENO DW

Acceder
Title: Diseño lógico de Data Warehouses a partir de esquemas multidimensionales
Language: Español
Repository: 65
Subject: DATA WAREHOUSE / BASE DE DATOS / DATABASES

Acceder
Title: Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Language: Español
Repository: 65
Subject: UNIX-COMPATIBILIDAD / SISTEMAS OPERATIVOS

Acceder
Title: Reuso de reglas de negocio: una experiencia de reuso de ontologías en un dominio restringido
Language: Español
Repository: 65
Subject: ONTOLOGIAS / REUSO

Acceder

« Previous 77 78 79 80 81 82 83 84 85 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search