Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos


 Personal

  Curso: 2016-17. Cambiar a:  2015-16   2017-18

Nombre: CAZORLA LÓPEZ, DIEGO
despacho: 1.B.2
extension: 2545
correo electrónico:
Categoría: Titular de Universidad
Página: Pulsa aquí para ver la página particular



Asignaturas Impartidas 2016-17
Sistemas Operativos I
Metodología de la Programación
Sistemas de Información Empresariales



Tutorías 2016-17
primer cuatrimestre segundo cuatrimestre
lunes 09:30-10:30
lunes 11:30-13:30
martes 09:30-10:30
martes 11:30-13:30
lunes 09:30-10:30
lunes 11:30-13:30
martes 09:30-10:30
martes 11:30-13:30




Technical Reports
DIAB-00-01-11 2000-11-01 A Process Algebra for Probabilistic and Nondeterministic Processes
DIAB-01-01-19 2001-09-01 Algebraic Theory of Probabilistic and Nondeterministic Processes
DIAB-02-01-32 2002-11-01 Analysis of the MPEG-2 Encoding Algorithm with ROSA
DIAB-03-01-37 2003-09-17 Introducing the iteration in sPBC
DIAB-04-11-1 2004-11-26 Formal Verification of the Secure Sockets Layer Protocol
DIAB-04-11-2 2004-11-30 Verificación de TLS 1.0 y extensiones para redes inalámbricas
DIAB-10-12-1 2010-12-28 A GPU-based implementation for Range Queries on Spaghettis Data Structures
DIAB-13-05-2 2013-05-14 Metric Data Structures Supported by Heterogeneous Systems
DIAB-98-01-02 1998-10-01 A Denotational Model for Probabilistic and Nondeterministic Processes


 

Sindicación     Sindicación     Sindicación
Curso: 2016-17
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal