.:. Browse > By year > 1987 .:.

222 documents ordered by : Date Title first author name document type Submit date

... 17 - 18 - 19 - 20 - 21 - 22 - 23

Une construction systématique de modèles à partir de spécifications opérationnelles structurelles Badouel E. N° RR-0764 (1987) [inria-00075788 - version 1]

Determination of a depth map from an image sequence Marcé L., Bouthemy P. N° RR-0765 (1987) [inria-00075787 - version 1]

Un constructeur d'arbres de preuve dirigé par des tactiques Hascoet L. N° RR-0770 (1987) [inria-00075782 - version 1]

Average case complexity analysis of the RETE multi-pattern match algorithm Albert L., Fages F. N° RR-0773 (1987) [inria-00075779 - version 1]

Numerical computation of the chemical dissociation and relaxation phenomena behind a detached strong shock Desideri J.-A., Fezoui L. Fatima, Glinsky N. N° RR-0774 (1987) [inria-00075778 - version 1]

Effective behaviour algebras Darondeau P., Yoccoz S. N° RR-0776 (1987) [inria-00075776 - version 1]

CENTAUR : the system Borras P., Clement D., Despeyroux T., Incerpi J., Kahn G., Lang B., Pascual V. N° RR-0777 (1987) [inria-00075774 - version 1]

Methodes implicites efficaces pour la resolution des equations d'Euler en elements finis Steve H. N° RR-0779 (1987) [inria-00075772 - version 1]

A systolic machine for string correction Frison P., Lavenier D. N° RR-0780 (1987) [inria-00075771 - version 1]

On weak lumpability in Markov chains Rubino G., Sericola B. N° RR-0787 (1987) [inria-00075764 - version 1]