Software Evaluation
CANTEAUT, Anne
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
MARANGET, Luc
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
Leer más >
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
CANTEAUT, Anne
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
Cryptologie symétrique, cryptologie fondée sur les codes et information quantique [COSMIQ]
MARANGET, Luc
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
Langages de programmation : systèmes de types, concurrence, preuve de programme [CAMBIUM]
RICCHIUTO, Mario
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
< Leer menos
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
Idioma
en
Rapport
Este ítem está publicado en
2021-01-14
Resumen en inglés
This document is intended for the members of Inria juries in order to assist them in their evaluation of software developed by the researchers. It results from the work carried out by the Software Evaluation working group ...Leer más >
This document is intended for the members of Inria juries in order to assist them in their evaluation of software developed by the researchers. It results from the work carried out by the Software Evaluation working group from March to December 2020.< Leer menos
Orígen
Importado de HalCentros de investigación