Investigación en Informática

ASIGNATURA

TIPO

ECTS

Estructura de Datos y de la Información

Ob.

12

Metodología y Tecnología de la Programación

Ob.

12

Teoría de Autómatas y Lenguajes Formales

Ob.

9

Procesadores de Lenguaje

Ob.

9

Estructura y Tecnología de Computadores

Ob.

9

Sistemas Operativos

Ob.

6

Redes

Ob.

9

Arquitectura e IC

Ob.

9

Bases de Datos y Sistemas de Información

Ob.

12

Ingeniería del Software 1

Ob.

9

Ingeniería del Software 2

Ob.

9

Inteligencia Artificial e Ingeniería del Conocimiento

Ob.

9

ASIGNATURA

TIPO

ESPECIALIDAD

ECTS

Bioinformática

Op.

IC

6

Compiladores para Arquitecturas de Alto Rendimiento

Op.

IC

6

Computación en Red y Tecnología Grid

Op.

IC

6

Hardware Dinámicamente Reconfigurable

Op.

IC

6

Metodología de Diseño de Sistemas Asíncronos

Op.

IC

6

Síntesis Arquitectónica de Alto Nivel

Op.

IC

6

Técnicas de Alto Rendimiento en el Diseño de Procesadores

Op.

IC

6

Tecnologías Avanzadas de Redes y Telecomunicaciones

Op.

IC

6

Control Inteligente

Op.

II

6

Diseño de Sistemas Empotrados

Op.

II

6

Optimización en el Control de Procesos

Op.

II

6

Percepción Visual Artificial

Op.

II

6

Redes Neuronales y sus Aplicaciones

Op.

II

6

Análisis y Transformación de Programas

Op.

P

7,5

Aplicación de Principios Económicos al Desarrollo de Sistemas Computacionales

Op.

P

6

Especificación y Validación del Software

Op.

P

7,5

Modelado de Sólidos y Técnicas de Visualización

Op.

P

7,5

Modelos Abstractos de Cómputo

Op.

P

4,5

Modelos de Sistemas Concurrentes y Distribuidos

Op.

P

7,5

Requisitos Software

Op.

P

4,5

Seguridad de Computadores

Op.

P

6

Aprendizaje Automático

Op.

SI

6

Agentes Inteligentes

Op.

SI

6

Deducción Automática

Op.

SI

4,5

E-Learning

Op.

SI

6

Extensiones de Programación Lógica

Op.

SI

6

Ingeniería Lingüistica

Op.

SI

6

Razonamiento Aproximado y con Incertidumbre

Op.

SI

4,5

Proyecto fin de Master

Ob.

Todas

30