3531 articles – 5253 references  [version française]
.:. Browse > List by document type > Scientific Books .:.
66 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 Next Last
Selected Lectures in Symbolic Computation
Wang D.
Tsinghua University Press, Beijing (Ed.) (2003) VI-288p p [inria-00099533 - version 1]
Elimination Practice: Software Tools and Applications
Wang D.
Imperial College Press, London, (Ed.) (2003) VIII-222 p [inria-00099520 - version 1]
Geometric Computation
Chen F., Wang D.
World Scientific Publishing Co., Singapore (Ed.) (2003) VIII-412 p [inria-00099519 - version 1]
fulltext access ÉCRITURES EN LIGNE: PRATIQUES ET COMMUNAUTÉS. Sous la dir de Brigitte Chapelain. (485 p.)
Chapelain B., Clément J., Malbreil X., Noyer J.-M., Hudrisier H., Castanyer L.-B., Cormerais F., Silberstein M., Peraud A., Broudoux E. et al
Université de Rennes 2 (Ed.) (2002) 486p. [sic_00126719 - version 1]
Méthodes d'élimination avec applications
Wang D.
Science Press, Pékin (Ed.) (2002) XVI-302 p [inria-00100919 - version 1]
Probabilistic and Statistical Methods in Computer Science
Mari J.-F., Schott R.
Kluwer Academic Publishers (Ed.) (2001) 236 p [inria-00100932 - version 1]
Elimination Methods
Wang D.
Springer-Verlag (Ed.) (2001) 244 p [inria-00100616 - version 1]
Modal Logic
Blackburn P., De Rijke M., Venema Y.
Cambridge University Press (Ed.) (2001) 576 p [inria-00100502 - version 1]
Algebraic System Specification and Developement:Survey and Annotated Bibliography
Cerioli M., Gogolla M., Kirchner H., Krieg-Brückner B., Qian Z., Wolf M.
Shaker Verlag (Ed.) (1999) 230 p [inria-00098980 - version 1]
Bases de données et systèmes d'informations : Le modèle relationnel : langages, systèmes et méthodes
Boudjlida N.
Dunod (Ed.) (1999) 279 p [inria-00098811 - version 1]