Résultats 1 à 5

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 11 (1)
  • Paris 6 (1)
  • Paris Est (1)
  • Rennes 1 (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Montréal (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (5)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Caucal Didier (1)
    • Finkel Alain (1)
    • Girault Claude (1)
    • KOTT LAURENT (1)
    • Vidal-Naquet Guy (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (3)
    • Informatique, information, généralités (1)
    • Sciences de l'ingénieur (1)

    Domaines :

    Fullscreen

    ...abstraction mathématique des réseauxde Petri et des systèmes d addition de vecteurs.1.2 Contributions...

    Accéder en ligne

    ...décidable. On considérera deux restrictions dessystèmes à compteurs : les systèmes d addition de vecteurs et...

    Accéder en ligne

    Résultats 1 à 5