2453 articles  [version française]
.:. Browse > List by subject > Symbolic Computation .:.
3 documents ordered by :

fulltext access Résolution de systèmes polynomiaux et cryptologie sur les courbes elliptiques
Huot L.
Université Pierre et Marie Curie - Paris VI (2013-12-13), Jean-Charles Faugère (Dir.) [tel-00925271 - version 1]
fulltext access Combinatoire analytique et modèles d'urnes
Morcrette B.
Université Pierre et Marie Curie - Paris VI (26/06/2013), Philippe Flajolet; Michèle Soria; Philippe Dumas (Dir.) [tel-00843046 - version 1]
fulltext access Méthodologie de validation des systèmes structurés en couches par réseaux de Petri : application au protocole Transport
Cousin B.
Université Pierre et Marie Curie - Paris VI (09/04/1987), Claude Girault (Dir.) [tel-00864063 - version 1]