Horatiu Cirstea
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Réécriture
Calcul symbolique
Lambda-calcul
Spécifications algébriques
Multi- échelle
Réseau
Nanosystèmes
Modèle asymptotique
Technique de ré-écriture
Extension combinaison
Modèle primaire
Mince-domaine
Caractéristique
Optimisation
Design patterns
Matrice de Micro-Miroirs
Homogénéisation périodique
Correcteur de couche limite
Simulation numérique