Departamento
Sistemas Informáticos y Computación
Capítulos de Libro (6) Publicaciones en las que ha participado algún/a investigador/a
2022
-
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 208-227
-
Development of an Android Application to Carry Out Tourist Visits in Madrid as a Value-Added Service
Lecture Notes on Data Engineering and Communications Technologies (Springer Science and Business Media Deutschland GmbH), pp. 409-420
-
Las múltiples caras del algoritmo
Lecciones inaugurales (Departamento de Branding, Publicidad y Comunicación Estratégica), pp. 81-106
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288
-
Strategic Digitization of Tourism
Smart Innovation, Systems and Technologies (Springer Science and Business Media Deutschland GmbH), pp. 515-525
-
When COSTA Met KeY: Verified Cost Bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37