Ir al contenido principal
Desplegar navegación
Mi Cuenta
Biblioguías
Desplegar navegación
Buscar y encontrar
Artículos
Bases de datos
Cisne
Libros electrónicos
Patrimonio Digital Complutense
Repositorio Docta Complutense
Estudiar e investigar
Bibliografías recomendadas
Portal de Formación
Portal de Producción Científica UCM
Préstamo
Sexenios
Uso de la Biblioteca
Bibliotecas y horarios
Conócenos
Redes Sociales
Participa
Nuestra historia
Ayuda
Biblioteca Complutense
Biblioguías UCM
Guías de titulación
Biblioguía del Master Interuniversitario en Métodos Formales en Ingeniería Informática (UCM/UAM/UPM)
Normas propias de la Facultad
Buscar en esta guía
Buscar
Biblioguía del Master Interuniversitario en Métodos Formales en Ingeniería Informática (UCM/UAM/UPM)
Biblioguía del Master Interuniversitario en Métodos Formales en Ingeniería Informática (UCM/UAM/UPM)
Índice
Inicio
Qué me ofrece la biblioteca
Programa docente
Bibliografía recomendada. Curso 1º
Toggle Dropdown
609024 - Teoría de lenguajes de programación
609025 - Análisis estático de programas y resolución de restricciones
609026 - Modelos de la concurrencia
609027 - Verificación asistida de programas
609029 - Análisis de sistemas concurrentes y distribuidos
609030 - Diseño de sistemas correctos por construcción
609031 - Desarrollo formal de software dirigido por modelos
609032 - Diseño de algoritmos bioinspirados
609033 - Aprendizaje automático
609034 - Diseños y análisis de protocolos de seguridad
609035 - Computación cuántica
Dónde buscar diferentes materiales
Toggle Dropdown
Libros
Revistas y artículos
Bases de datos
Tesis doctorales
Producción académica en acceso abierto
Cómo evaluar información
Cómo gestionar mi bibliografía
Cómo citar correctamente
Toggle Dropdown
Normas y estilos de citas
Evitar el plagio
Este enlace se abre en una nueva ventana
Consejos para presentar un trabajo académico
Cómo presentarlo
Normas propias de la Facultad
Normas propias para presentar el TFG de la Facultad
¿Necesitas orientación?
Toggle Dropdown
Preguntas frecuentes sobre el préstamo
Cómo acceder a los recursos desde casa
Contacto
Normas propias para presentar el TFG de la Facultad
Normas TFG de la Facultad de Informática
<<
Anterior:
Cómo presentarlo
Siguiente:
¿Necesitas orientación? >>