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

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

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Techniques de base sur l'exploitation automatique du parallelisme dans les programmes Lichnewsky A., Thomasset F. N° RR-0460 (1985) [inria-00076094 - version 1]

A visualisation method for constructive solid geometry using polygon clipping Verroust A. N° RR-0461 (1985) [inria-00076093 - version 1]

A probabilistic model for evaluating the Verso software filter Delebarre V., Richard P. N° RR-0462 (1985) [inria-00076092 - version 1]

Concepts mathematiques et informatiques formalises dans le calcul des constructions Coquand T., Huet G. N° RR-0463 (1985) [inria-00076091 - version 1]

Etude de sensibilite d'un modele de polarisation electromagnetique vis-a-vis de ses parametres Goldman Y. N° RR-0465 (1985) [inria-00076089 - version 1]

Evaluation of recursive predicats in deductive databases De Maindreville C. N° RR-0467 (1985) [inria-00076087 - version 1]

Familles de produits et ilots de fabrication: le cas de machines multiples Garcia H., Mutel B., Proth J.-M. N° RR-0469 (1985) [inria-00076085 - version 1]

Etude exhaustive de l'algorithme de reallocation-recentrage dans un cas simple Celeux G. N° RR-0470 (1985) [inria-00076084 - version 1]

Algorithmique parallele et distribuee Lavallee I., Lavault C. N° RR-0471 (1985) [inria-00076083 - version 1]

Le meta-decompilateur Pretty sous Mentor Vercoustre A.-M. N° RT-0062 (1985) [inria-00070097 - version 1]