2453 articles  [version française]
.:. Browse > List by laboratories > Centre d'Etude et De Recherche en Informatique du Cnam .:.
4 documents ordered by :

fulltext access Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents
Pajault C.
Université Pierre et Marie Curie - Paris VI (23/06/2008), Jean-François Pradat-Peyre (Dir.) [tel-00812685 - version 1]
fulltext access Méthodes exploratoires d'analyse de données temporelles
Saporta G.
Université Pierre et Marie Curie - Paris VI (10/06/1981), Paul Krée (Dir.) [tel-00711814 - version 1]
fulltext access Lois limites des écarts extrêmes associés aux histogrammes et à diverses statistiques d'ordre dans l'estimation d'une densité de probabilité
Béra M.
Université Pierre et Marie Curie - Paris VI Université Pierre et Marie Curie - Paris VI (1977-06-13), M Geffroy (Dir.) [tel-00751542 - version 1]
fulltext access Liaisons entre plusieurs ensembles de variables et codage de données qualitatives
Saporta G.
Université Pierre et Marie Curie - Paris VI (15/05/1975), Paul Krée (Dir.) [tel-00649127 - version 1]