Conferencias

Adaptation and Awareness in Ensembles — erstellt von J. Alberto Verdejo López — zuletzt verändert: 20.10.2011 11:22

Ponente: Martin Wirsing, Fecha: 26-10-2011

Grupo de Investigación en Análisis de Consumo de Recursos y Testing — erstellt von yolanda — zuletzt verändert: 08.06.2011 18:23

Ponente: Elvira Albert, Fecha: 22-6-2011

Resource analysis using polynomial interpolation — erstellt von yolanda — zuletzt verändert: 04.05.2011 09:00

Ponente: Marko van Eekelen, Fecha: 18-5-2011

Sobre la semántica de los lenguajes específicos de dominio de tiempo real — erstellt von yolanda — zuletzt verändert: 01.03.2011 09:58

Ponente: Francisco Durán, Fecha: 1-3-2011

Verification of systems with infinitely many states: underapproximations and overapproximations. — erstellt von yolanda — zuletzt verändert: 20.12.2010 14:28

Ponente: Pierre Ganty, Fecha: 18-1-2011

Connecting bilattices theory and fuzzy logic — erstellt von yolanda — zuletzt verändert: 08.11.2010 17:43

Ponente: Daniele Genito, Fecha: 23-11-2010

Iceland: Glaciers, Volcanoes and...Computer Science! — erstellt von yolanda — zuletzt verändert: 08.10.2010 16:20

Ponente: Luca Aceto, Fecha: 27-10-2010