Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Rennes 1 (2)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Paris, EPHE (1)
  • Sharif University of Technology (Tehran) (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Universidade de Sao Paulo - USP (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (5)
  • Sciences appliquées (2)
  • Automatique (1)
  • Didactique des mathématiques (1)
  • Mathématiques et applications (1)
  • Sciences religieuses (1)
  • Signal image parole telecoms (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes informatiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • I2S - Information, Structures, Systèmes (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (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 de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bougé Luc (2)
  • Armogathe Jean-Robert (1)
  • Babaiezadeh Malmiri Massoud (1)
  • Boulme Sylvain (1)
  • Damm Gilney (1)
  • Deloustal-Jorrand Virginie (1)
  • Garoche Pierre-Loïc (1)
  • Gras Régis (1)
  • Jensen Thomas (1)
  • Jutten Christian (1)
  • Kaci Souhila (1)
  • Lamnabhi-lagarrigue Françoise (1)
  • Machado monaro Renato (1)
  • Monniaux David (1)
  • Muller Jean-Michel (1)
  • Schmitt Alan (1)
  • Sendrier Nicolas (1)
  • Triquet Éric (1)
  • Waeselynck Hélène (1)
  • Wiels Virginie (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (10)
  • Sciences de l'ingénieur (2)
  • Religion (1)
  • Education et enseignement (1)
  • Mathématiques (1)

Domaines :

Fullscreen

14 thèses pour "Preuve mathématique"

...didac-tique des mathématiques. Une preuve mathématique est la traduction d’un raison-nement qui permet d...

Accéder en ligne
Sureté de logiciel et calcul de haute performance

Soutenue le 18-12-2013
thèse soutenue

Avancées sur les systèmes Multi-terminaux HVDC

par Guacira Costa De Oliveira sous la direction de Françoise Lamnabhi-lagarrigue, Gilney Damm et de Renato Machado monaro. - Paris Saclay

Automatique

En préparation depuis le 06-06-2016
 thèse en cours de préparation

..., 8 et 9. Aucune preuve mathématique n’a étémise en œuvre (Graphique 11.1, p. 203).Lors de la seconde...

Accéder en ligne

Résultats 1 à 10