431 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Informatique .:.
45 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 Page Suivante Page Finale
fulltext access Propriétés de jeux multi-agents
Da Costa Lopes A.
École normale supérieure de Cachan - ENS Cachan (20/09/2011), Wieslaw Zielonka;François Laroussinie (Dir.) [tel-00744970 - version 1]		 STAR - Dépôt national des thèses électroniques
fulltext access Modelling and analyzing security protocols in cryptographic process calculi
Kremer S.
École normale supérieure de Cachan - ENS Cachan (17/03/2011), Jean-Pierre Jouannaud (Pr.) [tel-00636769 - version 1]
fulltext access Caractérisation décidables de logiques sur les arbres
Place T.
École normale supérieure de Cachan - ENS Cachan (10/12/2010), Luc Segoufin (Dir.) [tel-00744954 - version 1]		 STAR - Dépôt national des thèses électroniques
fulltext access Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité
Vacher C.
École normale supérieure de Cachan - ENS Cachan (07/12/2010), Jean Goubault-Larrecq;Florent Jacquemard (Dir.) [tel-00598494 - version 1]		 STAR - Dépôt national des thèses électroniques
fulltext access Reasoning on words and trees with data
Figueira D.
École normale supérieure de Cachan - ENS Cachan (06/12/2010), Stéphane Demri;Luc Segoufin (Dir.) [tel-00718605 - version 1]		 STAR - Dépôt national des thèses électroniques
fulltext access Géométrie inverse : du nuage de points brut à la surface 3D : théorie et algorithmes
Digne J.
École normale supérieure de Cachan - ENS Cachan (2010-11-23), Jean-Michel Morel (Dir.) [tel-00557589 - version 1]
fulltext access Analyse quantitative paramétrée d'automates temporisés probabilistes
Chamseddine N.
École normale supérieure de Cachan - ENS Cachan (27/10/2009), Laurent Fribourg (Dir.) [tel-00626062 - version 1]
fulltext access Méthodes structurales et probabilistes pour l'analyse de groupe en neuroimagerie fonctionnelle
Thirion B.
École normale supérieure de Cachan - ENS Cachan (30/07/2009), Yves Meyer (Pr.) [tel-00438202 - version 1]
fulltext access Recherche sur les techniques clés pour les communications multimédias dans les Ad-Hoc réseaux
Zhou L.
École normale supérieure de Cachan - ENS Cachan (14/04/2009), Benoït Geller (Dir.) [tel-00506045 - version 1]
fulltext access Contribution à la conception de services de partage de données pour les grilles de calcul
Antoniu G.
École normale supérieure de Cachan - ENS Cachan (05/03/2009), Patrick Valduriez (Pr.) [tel-00437324 - version 1]