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

fulltext access ScaleSem : model checking et web sémantique
Gueffaz M.
Université de Bourgogne (11/12/2012), Christophe Nicolle;Sylvain Rampacek (Dir.) [tel-00801730 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Approximations polynomiales rigoureuses et applications
Joldes M. M.
Ecole normale supérieure de lyon - ENS LYON (2011-09-26), Jean-Michel Muller;Nicolas Brisebarre (Dir.) [tel-00657843 - version 2]
STAR - Dépôt national des thèses électroniques