Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (6)
  • Aix-Marseille 2 (4)
  • Aix-Marseille (3)
  • Grenoble 1 (3)
  • Aix-Marseille 1 (2)
  • Lyon (2)
  • Lyon, École normale supérieure (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Sorbonne Paris Cité (2)
  • Besançon (1)
  • Compiègne (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Lyon 1 (1)
  • Nancy 1 (1)
  • Nice (1)
  • Orléans (1)
  • Toulouse, ENSAE (1)
  • Toulouse, INSA (1)
  • UNIVERSITA DEGLI STUDI ROMA TRE (1)
  • University of Cambridge (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Valenciennes (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (24)
  • Sciences appliquées (5)
  • Mathématiques (4)
  • Automatique. Informatique industrielle (1)
  • Electronique (1)
  • Informat. (1)
  • Informatique. Informatique fondamentale (1)
  • Mathematiques (1)
  • Mathématiques appliquées à l'informatique (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Mathématiques et informatique de Marseille (184) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (28)
  • anglais (12)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Girard Jean-Yves (3)
  • Laurent Olivier (3)
  • Blanc Georges (2)
  • Borrione Dominique (2)
  • Régnier Laurent (2)
  • Baillot Patrick (1)
  • Berline Chantal (1)
  • Boudol Gérard (1)
  • Bourton Michel (1)
  • Bucciarelli Antonio (1)
  • Chen Liming (1)
  • Collet Christine (1)
  • Curien Pierre-Louis (1)
  • Delahaye Jean-Paul (1)
  • Deville Yves (1)
  • Durieux Jean-Louis (1)
  • Ehrhard Thomas (1)
  • El Fallah Seghrouchni Amal (1)
  • Estublier Jacky (1)
  • Gastin Paul (1)
  • Gaudel Marie-Claude (1)
  • Geffroy Jean-Claude (1)
  • Grigorieff Serge (1)
  • Guerrini Stefano (1)
  • Halbwachs Nicolas (1)
  • Kirchner Claude (1)
  • Lamarche François (1)
  • Lorho Bernard (1)
  • Martel Matthieu (1)
  • Paillet Jean-Luc (1)
  • Perrin Guy-René (1)
  • Pouzet Marc (1)
  • Queinnec Christian (1)
  • Regnier Laurent (1)
  • Serrano Manuel (1)
  • Solnon Christine (1)
  • Tortora de Falco Lorenzo (1)
  • Tortora de falco Lorenzo (1)
  • Werner Benjamin (1)
  • Winskel Glynn (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (29)
  • Mathématiques (8)
  • Sciences de l'ingénieur (8)
  • Informatique, information, généralités (3)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

par Federico Olimpieri sous la direction de Laurent Regnier et de Lorenzo Tortora de falco. - Aix-Marseille

Mathematiques

Soutenue le 27-11-2020
 thèse en cours de préparation

...linéaire, sémantique dénotationnelle, espaces vectoriels topologies,théorie des distributions...

Accéder en ligne

Vérification formelle des circuits digitaux décrits en VHDL

par Ashraf Mohamed El-Farghly Salem sous la direction de Dominique Borrione - Grenoble 1

Electronique

Soutenue en 1992
thèse soutenue
Sciences appliquées

Soutenue en 1996
thèse soutenue

Résultats 1 à 10