Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Jade Alglave

Mots clés

FR |

EN

Architecture des ordinateurs

POWER (microprocesseurs)

Programmation (informatique)

Sémantique dénotationnelle

Sémantique des jeux

Structures d’évènements

Modèles mémoires faibles