.:. Consultation > Liste par année > 1990 .:.

219 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 3 - 4 - 5 - 6 - 7 - 8 - 9 ...

Elliptic curves and primality proving Atkin A.O.L., Morain F. N° RR-1256 (1990) [inria-00075302 - version 1]

Etat de l'art de la recherche en informatique documentaire : la representation des documents et l'acces a l'information Dachelet R. N° RR-1201 (1990) [inria-00075357 - version 1]

Representation de connaissances dynamiques dans SHERPA Escamilla J., Favier V., Jean P., Nguyen G.T., Rieu D. N° RR-1208 (1990) [inria-00075350 - version 1]

Various nonconforming approximation of thin shell problems and the question of their convergence Trouve P. N° RR-1209 (1990) [inria-00075349 - version 1]

COOL : kernel support for object-oriented environments Habert S., Mosseri L., Abrossimov V. N° RR-1211 (1990) [inria-00075347 - version 1]

Diffraction et differences finies. Cas de la fissure droite semi-infinie Collino F., Joly P. N° RR-1214 (1990) [inria-00075344 - version 1]

Emc un logiciel d'edition de maillages et de contours bidimensionnels Hecht F., Saltel E. N° RT-0118 (1990) [inria-00070048 - version 1]

Transient phenomena for Markov chains and their applications Borovkov A.A., Fayolle G., Korshunov D.A. N° RR-1171 (1990) [inria-00075387 - version 1]

Explicit substitutions Abadi M., Cardelli L., Curien P.L., Levy J.-J. N° RR-1176 (1990) [inria-00075382 - version 1]

Les actions et les concepts generaux d'activites dans l'utilisation d'appareils domestiques Sebillotte S. N° RR-1181 (1990) [inria-00075377 - version 1]