Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (2)
  • Paris Sciences et Lettres (2)
  • Evry, Institut national des télécommunications (1)
  • Paris, CNAM (1)
  • Toulouse, INPT (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Benzaken Véronique (1)
  • Bhargavan Karthikeyan (1)
  • Blazy Sandrine (1)
  • Cohen Albert Henri (1)
  • Contejean Evelyne (1)
  • Debar Hervé (1)
  • Dubois Catherine (1)
  • Fraboul Christian (1)
  • Pouzet Marc (1)
  • Scharbarg Jean-Luc (1)
  • Soutif Eric (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (7)

    Domaines :

    Fullscreen
    Réseaux, Télécommunications, Systèmes et Architecture

    Soutenue le 27-05-2016
    thèse soutenue

    ...D. Richards, and Jérôme Vouillon. A VeryModal Model of a Modern, Major, General Type System. In...

    Accéder en ligne

    Résultats 1 to 7