Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Mulhouse (2)
  • Université Côte d'Azur (ComUE) (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Université Paris-Saclay (ComUE) (2)
  • Université de Lorraine (2)
  • Brest (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Corte (1)
  • Institut polytechnique de Paris (1)
  • Lorient (1)
  • Montpellier (1)
  • Nantes (1)
  • Nantes, Ecole des Mines (1)
  • Paris Sciences et Lettres (1)
  • Paris, CNAM (1)
  • Pau (1)
  • Rennes 1 (1)
  • Toulouse, ISAE (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (15)
  • Génie informatique (2)
  • Génie logiciel (1)
  • Informatique et applications (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique, données, IA (1)
  • Réseaux, télécom, système et architecture (1)
  • Stic (1)
  • Électronique Électrotechnique Automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • I2S - Information, Structures, Systèmes (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (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 des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (14)
  • français (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Miller Dale (2)
  • Babau Jean-Philippe (1)
  • Barbier Franck (1)
  • Baudry Benoit (1)
  • Chapurlat Vincent (1)
  • Cohen Albert (1)
  • Combemale Benoît (1)
  • Dony Christophe (1)
  • Dubois Catherine (1)
  • Faure Jean-Marc (1)
  • Hassenforder Michel (1)
  • Hill David R. C. (1)
  • Hugues Jérôme (1)
  • Kloul Leïla (1)
  • Liquori Luigi (1)
  • Margenstern Maurice (1)
  • Moreau Pierre-Etienne (1)
  • Navet Nicolas (1)
  • Oquendo Flavio (1)
  • Oussalah Mourad-Chabane (1)
  • Parissis Ioannis (1)
  • Riveill Michel (1)
  • Sadou Salah (1)
  • Santucci Jean-François (1)
  • Stratulat Sorin (1)
  • Tabareau Nicolas (1)
  • Tadonki Claude (1)
  • Thirion Bernard (1)
  • Tourancheau Bernard (1)
  • Traoré Mamadou Kaba (1)
  • Vittori Evelyne (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (23)
  • Sciences de l'ingénieur (4)

Domaines :

Fullscreen

24 thèses pour Meta-Languages

Informatique temps réel, robotique et automatique

Soutenue le 26-11-2018
thèse soutenue
Informatique, données, IA

Soutenue le 18-10-2019
thèse soutenue

..., editors, InternationalWorkshop on Logical Frameworks andMeta-Languages: Theory and Practice (LFMTP 2008...

Accéder en ligne
Informatique et applications

Soutenue le 13-12-2016
thèse soutenue

Résultats 1 à 10