Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Sciences et Lettres (5)
  • Sorbonne Paris Cité (4)
  • Université Grenoble Alpes (ComUE) (4)
  • Cachan, Ecole normale supérieure (3)
  • Grenoble (3)
  • Montpellier (3)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Lyon (2)
  • Université Paris-Saclay (ComUE) (2)
  • Besançon (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Lyon 1 (1)
  • Nantes (1)
  • Paris 13 (1)
  • Paris Est (1)
  • Paris, EHESS (1)
  • Rennes 1 (1)
  • Strasbourg (1)
  • Toulon (1)
  • Toulouse, INPT (1)
  • Tours (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Politehnica de Bucarest (1)
  • Université de Tunis (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (27)
  • Sciences cognitives (2)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Génie Informatique, automatique et traitement du signal (1)
  • Génie industriel (1)
  • Informatique et applications (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique, spécialité Gestion et analyse des données (1)
  • Informatique. Modélisation et vérification (1)
  • Langues, littératures et civilisations anglophones (1)
  • Mathématiques (1)
  • Mathématiques et Informatique (1)
  • Robotique (1)
  • Sciences du langage (1)
  • Sciences du langage (option : linguistique) (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (5)
  • I2S - Information, Structures, Systèmes (3)
  • École doctorale Cerveau, cognition, comportement (Paris) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (1)
  • Ed Sis 488 (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Croitoru Madalina (2)
  • Spector Benjamin (2)
  • Stefani Jean-Bernard (2)
  • Abdalla Michel (1)
  • Alimi Mohamed Adel (1)
  • Ancourt Corinne (1)
  • Aufaure Marie-Aude (1)
  • Azzag Hanane (1)
  • Aït-Ameur Yamine (1)
  • Bensalem Saddek (1)
  • Bertrand Nathalie (1)
  • Bisquert Pierre (1)
  • Boissier Olivier (1)
  • Boochs Frank (1)
  • Bouajjani Ahmed (1)
  • Bozga Dorel Marius (1)
  • Carton Olivier (1)
  • Chemla Emmanuel (1)
  • Cornuéjols Antoine (1)
  • Cruz Christophe (1)
  • De Marchi Fabien (1)
  • Delteil Alexandre (1)
  • Dessalles Jean-Louis (1)
  • Effantin dit Toussaint Brice (1)
  • Essoussi Nadia (1)
  • Falcone Yliès Carlo (1)
  • Gava Frédéric (1)
  • Genevès Pierre (1)
  • Geraci Carlo (1)
  • Gorce Philippe (1)
  • Hacid Mohand Saïd (1)
  • Hains Gaétan (1)
  • Hammad Ahmed (1)
  • Jard Claude (1)
  • Jaulin Luc (1)
  • Jéron Thierry (1)
  • Kheddouci Hamamache (1)
  • Khlif Manel (1)
  • Kozlak Jaroslaw (1)
  • Lebbah Mustapha (1)
  • Leray Philippe (1)
  • Maler Oded (1)
  • Marcel Patrick (1)
  • Mejri Salah (1)
  • Mountassir Hassan (1)
  • Nguyen Benjamin (1)
  • Nicolle Christophe (1)
  • Pantel Marc (1)
  • Peralta Costabel Veronika del Carmen (1)
  • Pernelle Beatrix (1)
  • Pu Geguang (1)
  • Pucheral Philippe (1)
  • Quéma Vivien (1)
  • Roisin Cécile (1)
  • Récanati François (1)
  • Schlenker Philippe (1)
  • Schreck Pascal (1)
  • Schwoon Stefan (1)
  • Segoufin Luc (1)
  • Sifakis Joseph (1)
  • Sighireanu Mihaela (1)
  • Tadonki Claude (1)
  • Tatibouet Bruno (1)
  • Thomopoulos Rallou (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Touili Tayssir (1)
  • Valduriez Patrick (1)
  • Yannou Bernard (1)
  • Zappa Nardelli Francesco (1)
  • Zeender Marie-Noëlle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (31)
  • Sciences de l'ingénieur (6)
  • Langues et linguistique (3)
  • Linguistique générale (3)
  • Informatique, information, généralités (2)
  • Psychologie (2)
  • Autres langues (1)
  • Mathématiques (1)
  • Médecine et santé (1)
  • Gestion et organisation de l'entreprise (1)
  • Fabrication industrielle (1)
  • Histoire et critique littéraires, rhétorique (1)

Domaines :

Fullscreen

43 thèses pour Second-class predicate

Informatique

Soutenue le 12-12-2017
thèse soutenue
Informatique

Soutenue le 13-11-2018
thèse soutenue

...for neutral geometry of dimension at least two (A1-A8).With the second class Tarski neutral...

Accéder en ligne
Informatique et applications

Soutenue le 02-10-2018
thèse soutenue
Informatique. Modélisation et vérification

Soutenue le 10-09-2018
thèse soutenue

...lemma P (. . .)⇒ ∨iϕi.The second class of lemmas concerns list segment predicates in Table 5.2.The...

Accéder en ligne

Résultats 1 à 10