Actualidad
IMDEA Software
Talk by Vasilios Mavroudis: Cryptographic Hardware from Untrusted Components
28 sep 2017
Leer más trending_flatIMDEA Software
Talk by Danil Annenkov: Reasoning Techniques for the Module System Formalisation in Coq.
26 sep 2017
Leer más trending_flatIMDEA Software
Reasoning Techniques for the Module System Formalisation in Coq
26 sep 2017
Leer más trending_flatIniciativa IMDEA
Los Institutos IMDEA han estado en Primera Hora con Javier García Mateo en Gestiona Radio
22 sep 2017
Leer más trending_flatIMDEA Materiales
Modelling superalloy behaviour to improve aircraft engine design
21 sep 2017
Leer más trending_flat