Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (22)
  • Paris 11 (10)
  • Nice (5)
  • Grenoble INPG (4)
  • Université de Lorraine (4)
  • Angers (3)
  • Rennes 1 (3)
  • Université Joseph Fourier (Grenoble) (3)
  • Université Paris-Saclay (ComUE) (3)
  • Aix-Marseille 1 (2)
  • Grenoble (2)
  • Montpellier 2 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 6 (2)
  • Paris 7 (2)
  • Sorbonne Paris Cité (2)
  • Toulouse 3 (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Caen (1)
  • Dijon (1)
  • Evry-Val d'Essonne (1)
  • Grenoble 1 (1)
  • Grenoble Alpes (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Orléans (1)
  • Paris, CNAM (1)
  • Paris, ENMP (1)
  • Toulouse, ISAE (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ät des Saarlandes (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université Paris-Est Créteil Val de Marne (UPEC) (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 (58)
  • Sciences appliquées (12)
  • Informatique et mathématiques (2)
  • Intelligence artificielle (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Micro et nano-électronique (2)
  • Sciences (2)
  • Bioinformatique (1)
  • Génie informatique et automatique (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Mathématiques (1)
  • Mathématiques. Calcul formel (1)
  • Mathématiques. Informatique (1)
  • Micro-électronique (1)
  • Réseaux, télécom, système et architecture (1)
  • SInformatique (1)
  • Sciences et techniques (1)
  • Sciences et techniques communes (1)
  • Sciences et techniques. Chimie (1)
  • Sciences. Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • IAEM Lorraine (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • École doctorale Informatique, télécommunications et électronique de 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 des métiers de l'ingénieur (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (68)
  • anglais (23)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Kirchner Claude (5)
  • Galmiche Didier (4)
  • Lescanne Pierre (4)
  • Bertot Yves (3)
  • Borrione Dominique (3)
  • Caferra Ricardo (3)
  • Dowek Gilles (3)
  • Kirchner Hélène (3)
  • Kodratoff Yves (3)
  • Merz Stephan (3)
  • Blackburn Patrick (2)
  • Conchon Sylvain (2)
  • Jensen Thomas (2)
  • Lugiez Denis (2)
  • Monfroy Éric (2)
  • Peltier Nicolas (2)
  • Pierre Laurence (2)
  • Saubion Frédéric (2)
  • Alché-Buc Florence d' (1)
  • Anantharaman Siva (1)
  • Beauquier Danièle (1)
  • Becher Verónica (1)
  • Bellynck Valérie (1)
  • Bert Didier (1)
  • Blazy Sandrine (1)
  • Boitet Christian (1)
  • Boulaye Guy (1)
  • Caromel Denis (1)
  • Chabrier Jean-Jacques (1)
  • Chein Michel (1)
  • Comon-Lundh Hubert (1)
  • Cousineau Guy (1)
  • Cousot Patrick (1)
  • Crolard Tristan (1)
  • Dauchet Max (1)
  • Delmas Rémi (1)
  • Demolombe Robert (1)
  • Déharbe David (1)
  • Dufourd Jean-François (1)
  • Duval Dominique (1)
  • Enjalbert Patrice (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)
  • Herzig Andreas (1)
  • Huet Gérard (1)
  • Jouannaud Jean-Pierre (1)
  • Jouvelot Pierre (1)
  • Kahn Gilles (1)
  • Kirchner Florent (1)
  • Kossovski Nicolai (1)
  • Kounalis Emmanuel (1)
  • Leclère Michel (1)
  • Levrat Bernard (1)
  • Mahboubi Assia (1)
  • Margenstern Maurice (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Morel Henri (1)
  • Mossière Jacques (1)
  • Mugnier Marie-Laure (1)
  • Pagetti Claire (1)
  • Paulin-Mohring Christine (1)
  • Perrin Guy-René (1)
  • Pitrat Jacques (1)
  • Raffalli Christophe (1)
  • Ranta Aarne (1)
  • Rioboo Renaud (1)
  • Schaub Torsten (1)
  • Siegel Pierre (1)
  • Stratulat Sorin (1)
  • Tisseron Claude (1)
  • Weidenbach Christoph (1)
  • Wolff Burkhart (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen
Sciences appliquées

Soutenue en 1994
thèse soutenue
Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue

...encombinaisons correspondant à leur usage pratique en démonstration de théorèmes.Précédemment, les certi cats de...

Accéder en ligne
Sciences et techniques communes

Soutenue en 1987
thèse soutenue

Résultats 1 à 10