Actualidad
IMDEA Software
Talk by Danil Annenkov: Reasoning Techniques for the Module System Formalisation in Coq.
26 Sep 2017
Leer más trending_flat
IMDEA Software
Reasoning Techniques for the Module System Formalisation in Coq
26 Sep 2017
Leer más trending_flat
Iniciativa IMDEA
Los Institutos IMDEA han estado en Primera Hora con Javier García Mateo en Gestiona Radio
22 Sep 2017
Leer más trending_flat
IMDEA Materiales
Modelling superalloy behaviour to improve aircraft engine design
21 Sep 2017
Leer más trending_flat
IMDEA Software
The European Researchers’ Night on Spanish National TV
21 Sep 2017
Leer más trending_flat

