Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=18338279X.

Analyses et preuves formelles d'algorithmes distribués probabilistes / Allyx Fontaine ; sous la direction de Akka Zemmari et de Pierre Castéran

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Algorithmes -- Thèses et écrits académiques

Probabilités -- Thèses et écrits académiques

Analyse informatique -- Thèses et écrits académiques

Zemmari, Akka (1973-....) (Directeur de thèse / thesis advisor)

Castéran, Pierre (Directeur de thèse / thesis advisor)

Mosbah, Mohamed (Président du jury de soutenance / praeses)

Méry, Dominique (Rapporteur de la thèse / thesis reporter)

Ravelomanana, Vlady (Rapporteur de la thèse / thesis reporter)

Chalopin, Jérémie (1980-....) (Membre du jury / opponent)

Université de Bordeaux (2014-....) (Organisme de soutenance / degree-grantor)

École doctorale de mathématiques et informatique (Talence, Gironde) (Ecole doctorale associée à la thèse / doctoral school)

Université de Bordeaux I (1970-2013) (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire bordelais de recherche en informatique (Laboratoire associé à la thèse / thesis associated laboratory)