Le moteur de recherche
des thèses françaises
Marie-Claude Heydemann-Tcherkez
IdRefMots clés
FR
Sémantique opérationnelle
Spécifications algébriques
Langage de spécification
Bibliothèque de spécification
Environnement de spécification
Réécriture de termes
E,R-algèbres
Asspegique
Algèbre
Graphes adjoints
Graphes non orientés
Graphes orientés
Sciences appliquées
Télécommunications et théorie de l'information
Graphes de Cayley
Commutation de messages
Transmission bidirectionnelle simultanée
Interconnexion de réseaux (télécommunications)
Circuits de commutation
Hypercube