Diego Cazorla López

• Colaboraciones en obras colectivas (2)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (1)
• Coordinación (1 publicación)

• Colaboraciones en obras colectivas

  • Plan de coordinación docente en el grado de Ingeniería Informática

    Diego Cazorla López, Loreto Maciá Soler, José Miguel Puerta Callejón, Ramón Serrano Urrea, Tomás Rojo Guillén

    Evaluación de competencias en los nuevos grados. VI Intercampus. Cuenca, 2010: Libro de Actas / coord. por Margarita Marín Rodríguez, 2010, ISBN 978-84-693-1832-4, págs. 79-84

    • Resumen
    

  • P_UPPAL: a tool for capturing the probabilistic behaviour of UPPAL models

    Diego Cazorla López, Valentín Valero Ruiz, Fernando Cuartero Gómez, Gregorio Díaz Díaz

    Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 207-220

    

• Libros

  • Apuntes de sistemas operativos

    Enrique Arias, María del Carmen Ruiz Delgado, Diego Cazorla López

    Albacete : Popular Libros, 2001. ISBN 84-931937-6-3

    

  • Ejercicios resueltos de cálculo

    Diego Cazorla López, Guillermo Manjabacas Tendero

    Popular. ISBN 84-605-8305-8

    

• Tesis

  • Pnal. Un modelo algebraico para procesos probabilísticos y no deterministas

    Diego Cazorla López

    Tesis doctoral dirigida por Fernando Cuartero Gómez, Valentín Valero Ruiz. Universidad de Castilla-La Mancha (2001).

    • Resumen
    

• Tesis dirigidas

  • Formal methods for the analysis of security protocols

    Maria De Los Llanos Tobarra Abad

    Tesis doctoral dirigida por Fernando Cuartero Gómez, Diego Cazorla López. Universidad de Castilla-La Mancha (2009).

    • Resumen
    • Texto completo
    

• Coordinación

  • Obras Colectivas

    • Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000

      coord. por Diego Cazorla López

      Universidad de Castilla-La Mancha, 2000. ISBN 84-8427-074-2

      

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