Home
Browse
Document list
List by document type
List by year
List by subject
List by authors
by stamp
Search
Simple search
Advanced search
Id search
Services
Export a publication list
Haltools
Help
3531 articles – 5253 references
[version française]
.:.
Browse
>
List by document type
> Scientific Books .:.
66 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
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]
É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]