Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • Paris Est (3)
  • Bourgogne Franche-Comté (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Paris Sciences et Lettres (1)
  • Paris, CNAM (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Instrumentation et informatique de l'image (2)
  • Bioinformatique (1)
  • Génie Industriel : conception et production (1)
  • Informatique et applications (1)
  • Informatique. Robotique (1)
  • Mécanique (1)
  • Nano electronique et nano technologies (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (9)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • George Laurent (3)
  • Benezeth Yannick (1)
  • Bensalem Saddek (1)
  • Bidaud Philippe (1)
  • Binczak Stéphane (1)
  • Brieu Mathias (1)
  • Deletombe Eric (1)
  • Dubois Julien (1)
  • Feret Jérôme (1)
  • Fraboul Christian (1)
  • Grolleau Emmanuel (1)
  • Gzara Lilia (1)
  • Jacquir Sabir (1)
  • Jan Mathieu (1)
  • Kosmatov Nikolay (1)
  • Le gall Pascale (1)
  • Leblanc Hervé (1)
  • Leveugle Régis (1)
  • Maistri Paolo (1)
  • Ouhammou Yassine (1)
  • Percebois Christian (1)
  • Verjus Hervé (1)
  • Zagury Jean-François (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (12)
  • Sciences de l'ingénieur (3)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

16 thèses pour "Niveau de criticite"

Informatique

En préparation depuis le 01-12-2016
 thèse en cours de préparation
Nano electronique et nano technologies

En préparation depuis le 16-10-2017
 thèse en cours de préparation

Spécification et vérification de propriétés de haut niveau pour les programmes C

par Virgile Robles sous la direction de Pascale Le gall et de Nikolay Kosmatov. - Paris Saclay

Informatique

En préparation depuis le 15-10-2018
 thèse en cours de préparation
Réseaux, Télécommunications, Systèmes et Architecture

Soutenue le 05-04-2017
thèse soutenue
Informatique

Soutenue le 26-06-2019
 thèse en cours de préparation

Résultats 1 à 10