Aller au contenu

Outils pour utilisateurs

S'identifier

Outils du site

Derniers changements
Gestionnaire Multimédia
Plan du site

Vous êtes ici : Accueil » ufr » musee » categories » theses

Panneau latéral

Accueil

Le Musée

Présentation
Collection
Histoire de l'UFR
Remerciements

Par décennies

1960
1970
1980
1990
2000
2010

Par catégories

Calculatrices
Divers
Livres
Mémoires
Ordinateurs personnels
Routeurs
Serveurs
Stations de travail
Thèses

ufr:musee:categories:theses

Les Thèses

Schéma de Programme : Problèmes d’Équivalences et Complexité
Guy Cousineau, Jean-Marie Rifflet
Paris VII
Thèse
1970's

Cônes Rationnels et Familles Agréable de Langages – Application au Langage à Compteur
Luc Boasson
Paris VII
Thèse
1970's

Comportements de Processus
Maurice Nivat, André Arnold
L.I.T.P.
Thèse
1980's

Behaviours of Synchronized Systems of Processes
Maurice Nivat
L.I.T.P.
Thèse
1980's

ufr/musee/categories/theses.txt · Dernière modification : 2023/06/15 20:56 de kgarnier

Outils de la page

Afficher le texte source
Anciennes révisions
Liens de retour
Haut de page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International

CC Attribution-Noncommercial-Share Alike 4.0 International