Titre : Axiomatisations et types pour des processus probabilistes et mobiles

Axiomatisations and types for probabilistic and mobile processus

Yuxin Deng (1978-...)
Davide Sangiorgi (1964-....). Directeur de thèse
École nationale supérieure des mines (Paris)


2005
1 vol. ( 168 p.) ; 30 cm

xx Maîtrise statistique des processus-- Thèses et écrits académiques
xx Théorie des types-- Thèses et écrits académiques
xx Probabilités-- Thèses et écrits académiques

Thèse en ligne sur pastel
Bibliogr. 110 réf.


Exemplaires

Powered by Koha

LocalisationCoteSituation
Bib. Paris   EMP 153.273 CCL.TH.1133
Bib. Paris   EMP 153.272 CCL.TH.1133
Sophia Antipolis   EMS T-CMA-059