L. F. Llana

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (4)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (4)

• Artículos de revistas

  • A formal framework for software product lines

    César Andrés, Carlos Camacho, L. F. Llana

    Information and software technology, ISSN 0950-5849, Vol. 55, Nº 11, 2013, págs. 1925-1947

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Correctores automáticos de programas: implantación realista en la docencia universitaria

    L. F. Llana, Cristóbal Pareja Flores, Enrique Martín Martín

    Actas del II Seminario de Investigación en Tecnologías de la Información: SITIAE 2008 / coord. por Jesús Angel Velázquez Iturbide, Raquel Hijón Neira, 2009, ISBN 978-84-9849-433-4, págs. 31-50

    

  • Evolución de la accesibilidad de las páginas web de las universidades españolas en el bienio 2002-2004

    Ainara Zubillaga del Río, Nuria Ruiz, Carmen Alba Pastor, María del Pilar Sánchez Hípola, L. F. Llana

    Tecnología, educación y diversidad: retos y realidades de la inclusión digital: Actas del III Congreso Nacional de Tecnología, Educación y Diversidad (TECNONEET 2004) / coord. por Francisco Javier Soto Pérez, José Rodríguez Vázquez, 2004, ISBN 84-688-7322-5, págs. 453-458

    

  • EXERCITA: una base de datos de material para prácticas de programación

    Carlos Gregorio Rodríguez, L. F. Llana, Raquel Martínez Unanue, P. Palao, Cristóbal Pareja Flores, Jesús Angel Velázquez Iturbide

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros, Pedro Antonio Ramos Alonso, Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 549-556

    • Texto completo
    

  • Introducing friendly testing

    L. F. Llana, David de Frutos Escrig, Manuel Núñez García

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias, Martín Llamas Nistal, José Juan Pazos Arias, 1997, ISBN 84-8158-065-1, págs. 281-292

    

• Libros

  • Ejercicios de programación: creativos y recreativos con C++

    Carlos Gregorio Rodríguez, L. F. Llana, R. Martínez, P. Palao, Cristóbal Pareja Flores

    Pearson Educación. ISBN 84-205-3211-8

    

• Tesis

  • Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas

    L. F. Llana

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1996).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Speeding up search algorithms with Quantum Computing

    José Javier Paulet González

    Tesis doctoral dirigida por Fernando Lopez Pelayo (dir. tes.), L. F. Llana (dir. tes.). Universidad de Castilla-La Mancha (2023).

    • Resumen
    • Tesis en acceso abierto en: RUIdeRA
    

  • Modelando la variabilidad: métodos formales para la representación de líneas de productos software

    Carlos Delfin Camacho González

    Tesis doctoral dirigida por Alberto Núñez Covarrubias (dir. tes.), L. F. Llana (dir. tes.). Universidad Complutense de Madrid (2017).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

  • Semántica de simulación para relaciones de conformidad

    Rafael Martínez Torres

    Tesis doctoral dirigida por Carlos Gregorio Rodríguez (dir. tes.), L. F. Llana (dir. tes.). Universidad Complutense de Madrid (2015).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

  • Formalizando el proceso de depuración en programación funcional paralela y perezosa

    Alberto de la Encina Vara

    Tesis doctoral dirigida por L. F. Llana (dir. tes.), Fernando Rubio Díez (dir. tes.). Universidad Complutense de Madrid (2008).

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