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]
Voir plus >
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]
< Réduire
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
Langue
en
Rapport
Ce document a été publié dans
2021-01-14
Résumé en anglais
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 ...Lire la suite >
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.< Réduire
Origine
Importé de halUnités de recherche