Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • École normale supérieure (Lyon) (3)
  • Grenoble (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Lyon (1)
  • Nantes (1)
  • Paris 11 (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Perpignan (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Joseph Fourier (Grenoble) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (12)
  • Sciences appliquées (2)
  • Mathématiques et informatique (1)
  • Sciences et techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • É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 en Informatique et Mathématiques de Lyon (1)
  • École doctorale Énergie environnement (Perpignan) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Daumas Marc (2)
  • Bajard Jean-Claude (1)
  • Balat Vincent (1)
  • Bougé Luc (1)
  • Cristea Valentin (1)
  • Dumas Jean-Guillaume (1)
  • Duval Dominique (1)
  • Garavel Hubert (1)
  • Hilaire Thibault (1)
  • Hyvernat Pierre (1)
  • Joloboff Vania (1)
  • Lakhnech Yassine (1)
  • Lauter Christoph Quirin (1)
  • Martel Matthieu (1)
  • Miquel Alexandre (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Muller Jean-Michel (1)
  • Nour Karim (1)
  • Paulin-Mohring Christine (1)
  • Périn Michaël (1)
  • Raffalli Christophe (1)
  • Revol Nathalie (1)
  • Roux Olivier (1)
  • Tabareau Nicolas (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (14)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen
Mathématiques et informatique

Soutenue le 09-12-2015
thèse soutenue

...-tionnelle, logique décorée, certification de programmes, Coq.viiiOnline sourcesThis thesis comes with some Coq...

Accéder en ligne

Résultats 1 à 10