É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]
See more >
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]
< Reduce
Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts [CARDAMOM]
Language
fr
Rapport
This item was published in
2021-01-14
Origin
Hal imported