Capítulos de Libro (6) Publicaciones en las que ha participado algún/a investigador/a

2022

  1. 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

  2. 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

  3. Las múltiples caras del algoritmo

    Lecciones inaugurales (Departamento de Branding, Publicidad y Comunicación Estratégica), pp. 81-106

  4. 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

  5. Strategic Digitization of Tourism

    Smart Innovation, Systems and Technologies (Springer Science and Business Media Deutschland GmbH), pp. 515-525

  6. 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