Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • Paris 7 (3)
  • Toulouse 3 (3)
  • Paris 6 (2)
  • Paris Saclay (2)
  • Aix-Marseille 1 (1)
  • Belfort-Montbéliard (1)
  • Cachan, Ecole normale supérieure (1)
  • Ecole centrale de Lille (1)
  • Grenoble (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Lyon, INSA (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Nancy 1 (1)
  • Nantes (1)
  • Nantes, Ecole centrale de Nantes (1)
  • Nice (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 12 (1)
  • Paris 9 (1)
  • Paris, CNAM (1)
  • Reims (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Universitatea politehnica (Bucarest) (1)
  • Università di Firenze (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (27)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Informatique appliquée (1)
  • Informatique fondamentale (1)
  • Mathématiques et Informatique (1)
  • Programmation et systèmes (1)
  • Sciences appliquées (1)
  • Sciences. Informatique (1)
  • Systèmes informatiques et systèmes embarqués (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (27)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bodeveix Jean-Paul (2)
  • Curien Pierre-Louis (2)
  • Filali Mamoun (2)
  • Garavel Hubert (2)
  • Haddad Serge (2)
  • Pelz Elisabeth (2)
  • Barkaoui Kamel (1)
  • Benzekri Abdelmalek (1)
  • Bodini Olivier (1)
  • Bon Philippe (1)
  • Boniol Frédéric (1)
  • Boreale Michele (1)
  • Collart-Dutilleul Simon (1)
  • Comon-Lundh Hubert (1)
  • Cristea Valentin (1)
  • Dal Zilio Silvano (1)
  • Danos Vincent (1)
  • Debar Hervé (1)
  • Ehrhard Thomas (1)
  • Elloy Jean-Pierre (1)
  • Filiol Éric (1)
  • Franchi-Zannettacci Paul (1)
  • Galland Stéphane (1)
  • Genitrini Antoine (1)
  • Guérin-Lassous Isabelle (1)
  • Haar Stefan (1)
  • Hains Gaétan (1)
  • Klaudel Hanna (1)
  • Koukam Abder (1)
  • Lafourcade Pascal (1)
  • Lakhnech Yassine (1)
  • Lang Frédéric (1)
  • Lescanne Pierre (1)
  • Lévy Jean-Jacques (1)
  • Mateescu Radu (1)
  • Moreaux Patrice (1)
  • Palamidessi Catuscia (1)
  • Peschanski Frédéric (1)
  • Salaün Gwen (1)
  • Schaff André (1)
  • Serwe Wendelin Bernhard (1)
  • Sifakis Joseph (1)
  • Soria Michèle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (30)
  • Sciences de l'ingénieur (4)
  • Informatique, information, généralités (2)
  • Mathématiques (1)

Domaines :

Fullscreen

35 thèses pour "Algèbres de processus"

...Turingcapturent le concept informel de fonction calculable, les algèbres de processus capturentl’essence du...

Accéder en ligne

...processus permettant de modéliser des systèmesmobiles. Les algèbres de processus sont des langages textuels...

Accéder en ligne

Résultats 1 à 10