Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (25)
  • Paris 11 (14)
  • Grenoble INPG (7)
  • Nice (5)
  • Rennes 1 (5)
  • Aix-Marseille 1 (4)
  • Angers (3)
  • Caen (3)
  • Grenoble 1 (3)
  • Paris 6 (3)
  • Paris 7 (3)
  • Paris Saclay (3)
  • Toulouse 3 (3)
  • Université de Lorraine (3)
  • Cachan, Ecole normale supérieure (2)
  • Dijon (2)
  • Grenoble (2)
  • Lyon, INSA (2)
  • Montpellier 2 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris, CNAM (2)
  • Université Paris-Saclay (ComUE) (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Bordeaux 1 (1)
  • Evry-Val d'Essonne (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Orléans (1)
  • Sorbonne Paris Cité (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université Paris-Est Créteil Val de Marne (UPEC) (1)
  • Université de Marne-la-Vallée (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)
  • École normale supérieure (Lyon) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (69)
  • Sciences appliquées (17)
  • Sciences et techniques communes (4)
  • Sciences (3)
  • Informatique et mathématiques (2)
  • Informatique et mathématiques. Intelligence artificielle (2)
  • Intelligence artificielle (2)
  • Micro et nano-électronique (2)
  • Sciences. Informatique (2)
  • Bioinformatique (1)
  • Génie informatique et automatique (1)
  • Informat. (1)
  • Informatique fondamentale (1)
  • Ingénierie informatique (1)
  • Mathématiques et applications (1)
  • Mathématiques. Calcul formel (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • SInformatique (1)
  • Sciences appliquée (1)
  • Sciences et techniques (1)
  • Sciences et techniques. Chimie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • IAEM Lorraine (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (91)
  • anglais (20)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (6)
  • Kirchner Claude (6)
  • Lescanne Pierre (5)
  • Galmiche Didier (4)
  • Kirchner Hélène (4)
  • Comon-Lundh Hubert (3)
  • Jouannaud Jean-Pierre (3)
  • Siegel Pierre (3)
  • Bertot Yves (2)
  • Blackburn Patrick (2)
  • Blanqui Frédéric (2)
  • Boulaye Guy (2)
  • Chabrier Jean-Jacques (2)
  • Conchon Sylvain (2)
  • Dowek Gilles (2)
  • Enjalbert Patrice (2)
  • Herzig Andreas (2)
  • Huet Gérard (2)
  • Jensen Thomas (2)
  • Kodratoff Yves (2)
  • Lugiez Denis (2)
  • Merz Stephan (2)
  • Monfroy Éric (2)
  • Peltier Nicolas (2)
  • Pierre Laurence (2)
  • Saubion Frédéric (2)
  • Trilling Laurent (2)
  • Alché-Buc Florence d' (1)
  • Anantharaman Siva (1)
  • Beauquier Danièle (1)
  • Becher Verónica (1)
  • Bellot Patrick (1)
  • Benzaken Véronique (1)
  • Blazy Sandrine (1)
  • Borrione Dominique (1)
  • Burel Guillaume (1)
  • COSTE-ROY M. F. (1)
  • Calmet Jacques (1)
  • Caromel Denis (1)
  • Cerrito Serenella (1)
  • Chein Michel (1)
  • Cichon Eugeniusz-Adam (1)
  • Contejean Evelyne (1)
  • Courcelle Bruno (1)
  • Cousineau Guy (1)
  • Cousot Patrick (1)
  • Crolard Tristan (1)
  • Dauchet Max (1)
  • Delahaye David (1)
  • Demolombe Robert (1)
  • Déharbe David (1)
  • Dufourd Jean-François (1)
  • Duval Dominique (1)
  • Désarménien Jacques (1)
  • Enjalbert P. (1)
  • FROIDEVAUX VIORICA (1)
  • Fariñas del Cerro Luis (1)
  • Filliâtre Jean-Christophe (1)
  • Fontaine Pascal (1)
  • Froidevaux Christine (1)
  • Frydman Claudia (1)
  • Gaudel Marie-Claude (1)
  • Genet Thomas (1)
  • Godart Claude (1)
  • Hamri Amine (1)
  • Henrio Ludovic (1)
  • Hermann Nicolas (1)
  • Hermant Olivier (1)
  • Kahn Gilles (1)
  • Keller Chantal (1)
  • Kossovski Nicolai (1)
  • Kounalis Emmanuel (1)
  • Leclère Michel (1)
  • Levrat Bernard (1)
  • Marche Claude (1)
  • Margenstern Maurice (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Morel Henri (1)
  • Mossière Jacques (1)
  • Mourrain Bernard (1)
  • Mugnier Marie-Laure (1)
  • Paskevych Andriy (1)
  • Paulin-Mohring Christine (1)
  • Perrin Guy-René (1)
  • Pitrat Jacques (1)
  • Rioboo Renaud (1)
  • Roy Marie-Françoise (1)
  • Schaub Torsten (1)
  • Stratulat Sorin (1)
  • Tisseron Claude (1)
  • Wolff Burkhart (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (80)
  • Sciences de l'ingénieur (24)
  • Mathématiques (9)
  • Sciences de la nature et mathématiques (7)
  • Technologie (Sciences appliquées) (5)
  • Physique (2)
  • Informatique, information, généralités (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen
Sciences et techniques communes

Soutenue en 1987
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1997
thèse soutenue
Sciences et techniques communes

Soutenue en 1991
thèse soutenue
Sciences appliquées

Soutenue en 1991
thèse soutenue
Sciences appliquées

Soutenue en 1994
thèse soutenue

Exemples de demonstration automatique en geometrie reelle

par AHMED GUERGUEB sous la direction de M. F. COSTE-ROY - Rennes 1

Sciences et techniques communes

Soutenue en 1990
thèse soutenue
Mathématiques et applications

Soutenue en 1994
thèse soutenue

Résultats 1 à 10