Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (5)
  • Nice (2)
  • Palaiseau, Ecole polytechnique (2)
  • Ecole centrale de Nantes (1)
  • Grenoble (1)
  • Grenoble INPG (1)
  • Lyon, École normale supérieure (1)
  • Paris 11 (1)
  • Paris Est (1)
  • Paris Saclay (1)
  • Paris, ENMP (1)
  • Rennes 1 (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)
  • Toulouse, INSA (1)
  • Università degli studi (Bologne, Italie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • Physique nucléaire (1)
  • Sciences appliquées (1)
  • Sciences et génie des matériaux (1)
  • Sciences. Mathématiques et applications (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Terre, océan, espace (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Particules, Noyaux, Cosmos (Paris ; 2009-2015) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (5)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Curien Pierre-Louis (2)
  • Franchi-Zannettacci Paul (2)
  • Lévy Jean-Jacques (2)
  • Palamidessi Catuscia (2)
  • Sangiorgi Davide (2)
  • Schmitt Alan (2)
  • Valencia Frank (2)
  • Berthomieu Bernard (1)
  • Diaz Michel (1)
  • Fages François (1)
  • Hirschkoff Daniel (1)
  • Ibrahim Fadi (1)
  • Jenn Éric (1)
  • Kessler Paul (1)
  • Mazaré Guy (1)
  • Mourlin Fabrice (1)
  • Roux Olivier Henri (1)
  • Sallé Patrick (1)
  • Stefani Jean-Bernard (1)
  • Vernadat François B. (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (14)
  • Sciences de l'ingénieur (4)
  • Mathématiques (3)
  • Physique (2)
  • Sciences de la terre (1)

Domaines :

Fullscreen

21 thèses pour "Calculs de processus"

Traduction entre calculs de processus

par GUILLAUME DOUMENG sous la direction de Paul Franchi-Zannettacci - Nice

Sciences appliquées

Soutenue en 1991
thèse soutenue
Terre, océan, espace

Soutenue en 1988
thèse soutenue

Sémantiques squelettiques pour les calculs de processus

par Guillaume Ambal sous la direction de Alan Schmitt - Rennes 1

Informatique

En préparation depuis le 16-09-2019
 thèse en cours de préparation
Sciences. Mathématiques et applications

Soutenue en 2002
thèse soutenue

Résultats 1 à 10