Rubén Rubio

• Colaboraciones en obras colectivas (2)
• Tesis (1)

• Colaboraciones en obras colectivas

  • Impacto del juez automático LearnSQL en el aprendizaje de las bases de datos relacionales

    Enrique Martín Martín, Manuel Montenegro Montes, Adrián Riesco Rodríguez, Rubén Rubio, Fernando Sáenz Pérez

    IV Jornada «Aprendizaje Eficaz con TIC en la UCM» / coord. por José Luis Ayala Rodrigo, 2025, ISBN 978-84-669-3921-8, págs. 43-54

    • Texto Completo Libro
    

  • LearnSQL: un juez para el aprendizaje de las bases de datos

    Jesús Correas Fernández, Enrique Martín Martín, Manuel Montenegro Montes, Adrián Riesco Rodríguez, Rubén Rubio

    Jornada «Aprendizaje Eficaz con TIC en la UCM» / coord. por Luis Hernández Yáñez, 2022, ISBN 978-84-669-3754-2, págs. 277-288

    • Texto Completo Libro  1    2  
    

• Tesis

  • Model checking of strategy-controlled systems in rewriting logic

    Rubén Rubio

    Tesis doctoral dirigida por José Alberto Verdejo López (dir. tes.), Isabel Pita Andreu (dir. tes.), Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2022).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.