Évaluation des Logiciels
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
fr
Rapport
Ce document a été publié dans
2021-01-14
Origine
Importé de halUnités de recherche