Ismael Rodríguez Laguna

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

• Colaboraciones en obras colectivas

  • Seleccionado

    A Formal Framework to Reduce Communications in Communication Systems

    Ismael Rodríguez Laguna, Fernando Rubio Díez , Manuel Núñez García

    Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers / coord. por Helena Unger, Herwig Unger; Víctor Manuel Larios Rosillo (aut.), Thomas Böhme (aut.), 2006, ISBN 9783540288800, págs. 69-80

    

• Tesis

  • Seleccionado

    Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

    Ismael Rodríguez Laguna

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.) . Universidad Complutense de Madrid (2004).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Algoritmos heurísticos y aplicaciones a métodos formales

    Pablo Manuel Rabanal Basalo

    Tesis doctoral dirigida por Ismael Rodríguez Laguna (dir. tes.), Fernando Rubio Díez (dir. tes.) . Universidad Complutense de Madrid (2010).

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