Clara Segura

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

• Artículos de revistas

  • Seleccionado

    Back-track to the future, una experiencia de gamificación en la universidad

    Marco A. Gómez-Martín , Yolanda Ortega Mallén , Clara Segura

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 5, 2020 (Ejemplar dedicado a: XXVI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2020) / coord. por José Manuel Badía Contelles , Francisco Grimaldo Moreno ), págs. 101-108

    • Resumen
    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Experiences in developing a complier for Safe using Haskell

    Manuel Francisco Montenegro Hermida , Ricardo Peña Marí , Clara Segura

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 31-38

    
  • Seleccionado

    Una herramienta para el estudio de estructuras de datos y algoritmos

    Clara Segura, Isabel Pita Andreu

    Innovación en el Campus virtual : metodologías y herramientas : III Jornada Campus virtual UCM / coord. por Alfredo Fernández-Valmayor Crespo , Ana Fernández-Pampillón Cesteros , Jorge Merino Granizo, 2007, ISBN 978-84-7491-787-1, págs. 13-23

    • Texto Completo Libro
    
  • Seleccionado

    A tool for interactive learning of data structures and algorithms

    Clara Segura, Isabel Pita Andreu

    8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain / coord. por Luis Panizo Alonso , Lidia Sánchez González , Baltasar Fernández Manjón , Martín Llamas Nistal , Vol. 1, 2006, ISBN 84-9773-301-0, págs. 141-148

    
  • Seleccionado

    A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

    Ricardo Peña Marí , Clara Segura

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 263-278

    

• Libros

  • Seleccionado

    Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios

    Narciso Martí Oliet , Clara Segura, José Alberto Verdejo López

    Ibergarceta, 2012. ISBN 978-84-1545-232-4

    
  • Seleccionado

    Especificación, derivación y análisis de algoritmos: ejercicios resueltos

    Narciso Martí Oliet , Clara Segura, José Alberto Verdejo López

    Pearson Prentice Hall, 2006. ISBN 978-84-8322-292-8

    

• Tesis

  • Seleccionado

    Análisis de programas en lenguajes funcionales paralelos

    Clara Segura

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.) . Universidad Complutense de Madrid (2001).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Seleccionado

    Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura

    Manuel Montenegro Montes

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.) , Clara Segura (dir. tes.). Universidad Complutense de Madrid (2011).

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