Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
María Vico
Pascual Martínez-Losa
PROFESORA TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con María Vico Pascual Martínez-Losa (9)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
2022
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
2017
-
Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja
Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja
2015
-
El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática
El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática
2014
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
-
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
2013
-
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática