8481 articles  [version française]
.:. Browse > List by year > 1985 .:.
140 documents ordered by :
First Previous ... 2 - 3 - 4 - 5 - 6 - 7 - 8 ... Next Last
fulltext access Analyse et approximation d'ecoulements en milieu poreux n'obeissant pas a la loi de Darcy
Amirat Y.
N° RR-0435 (1985) [inria-00076121 - version 1]
fulltext access Average case lower bounds on the construction and searching of partial orders
Mairson H.G.
N° RR-0415 (1985) [inria-00076141 - version 1]
fulltext access Conflicts between 2 vector transfers in Cray-XMP computers
Butel R.
N° RR-0418 (1985) [inria-00076138 - version 1]
fulltext access La machine LLM3
Chailloux J.
N° RT-0055 (1985) [inria-00070103 - version 1]
fulltext access A completion of some coxeter groups
Le Chenadec P.
N° RR-0396 (1985) [inria-00076160 - version 1]
fulltext access Ambiguity and transcendence
Flajolet P.
N° RR-0397 (1985) [inria-00076159 - version 1]
fulltext access Can a fast signature scheme without secret key be secure
Camion P.
N° RR-0399 (1985) [inria-00076157 - version 1]
fulltext access Mathematical methods in the analysis of algorithms and data structures
Flajolet P.
N° RR-0400 (1985) [inria-00076156 - version 1]
fulltext access Constructions:a higher order proof system for mechanizing mathematics
Coquand T., Huet G.
N° RR-0401 (1985) [inria-00076155 - version 1]
fulltext access Un algorithme général de recherche des horizons de planification (problème mono-produit, discret et à coûts concaves)
Bensoussan A., Proth J.-M., Queyranne M.
N° RR-0406 (1985) [inria-00076150 - version 1]