Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Bordeaux 1 (1)
  • Côte d'Azur (1)
  • Grenoble (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Paris Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (4)
  • anglais (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Rueher Michel (2)
  • Bouajjani Ahmed (1)
  • Collavizza Hélène (1)
  • Habermehl Peter (1)
  • Le gall Pascale (1)
  • Michel Claude (1)
  • Minoux Michel (1)
  • Monniaux David (1)
  • Moy Matthieu (1)
  • Rauzy Antoine (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (6)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen
Informatique

En préparation depuis le 12-10-2015
 thèse en cours de préparation

...proposons un ensemble de stratégie de recherchedédié à la vérification de programme avec du calcul sur les...

Accéder en ligne

Résultats 1 à 7