Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

249 résultats
Type de dépôt : Document
Page :
triés par
Image document

Le meta-decompilateur Pretty sous Mentor

 Anne-Marie Vercoustre
RT-0062, INRIA. 1985, pp.36
Rapport inria-00070097v1
Image document

Alcyone: la boite a outils objets

 J.M. Hullot
RT-0060, INRIA. 1985, pp.18
Rapport inria-00070098v1
Image document

La conception descendante appliquée à la réalisation concrète d'un maillage

 Paul-Louis George
RT-0052, INRIA. 1985, pp.55
Rapport inria-00070106v1
Image document

CEYX-Version 15.I : une initiation

 J.M. Hullot
RT-0044, INRIA. 1985, pp.20
Rapport inria-00070114v1
Image document

The Mentor-V5 documentation

 B. Melese , V. Migot , D. Verove
RT-0043, INRIA. 1985, pp.187
Rapport inria-00070115v1
Image document

Systeme informatique de commande du robot V 80

 V. Dupourque
RT-0035, INRIA. 1984, pp.93
Rapport inria-00070123v1
Image document

Un outil informatique pour l'analyse graphique de données

 René Thoraval
[Rapport de recherche] RT-0033, INRIA. 1984
Rapport inria-00071338v1
Image document

Algorithmique parallele et distribuee

 Ivan Lavallee , C. Lavault
RR-0471, INRIA. 1985
Rapport inria-00076083v1
Image document

Identification des conditions aux limites pour les equations de Saint-Venant

 L. Reinhart
RR-0458, INRIA. 1985
Rapport inria-00076096v1
Image document

On strongly coupled elliptic systems: existence,uniqueness and representation results

 O. Bennouna
RR-0453, INRIA. 1985
Rapport inria-00076102v1
Image document

Analysis of Dehn algorithm by critical pairs

 Philippe Le Chenadec
RR-0438, INRIA. 1985
Rapport inria-00076118v1
Image document

Complétude des modes T.E et T.M pour un guide d'ondes optiques planaire

 J.C. Guillot
RR-0385, INRIA. 1985
Rapport inria-00076171v1
Image document

Error diagnosis in logic programming,an adaptation of E.Y.Shapiro's method

 G. Ferrand
RR-0375, INRIA. 1985
Rapport inria-00076181v1
Image document

Least square method to solve Euler equations

 F. Angrand
RR-0359, INRIA. 1985
Rapport inria-00076197v1
Image document

Un algorithme pour la détermination de perméabilités relatives triphasiques satisfaisant une condition de différentielle totale

 Guy Chavent , G. Salzano
[Rapport de recherche] RR-0355, INRIA. 1985
Rapport inria-00076202v1
Image document

Le schema G-k/2 pour les lois de conservation scalaires

 B. Cockburn
RR-0354, INRIA. 1985
Rapport inria-00076203v1
Image document

Non first normal form relations:An algebra allowing data restructuring

 Serge Abiteboul , Nicole Bidoit
[Research Report] RR-0347, INRIA. 1984
Rapport inria-00076210v1
Image document

Analyse d'un algorithme de classification hiérarchique "en parallèle" pour le traitement de gros ensembles

 Israël-César C. Lerman , Philippe Peter
[Rapport de recherche] RR-0339, INRIA. 1984
Rapport inria-00076218v1
Image document

Proofs of partial correctness for attribute grammars and recursive procedures

 Bruno Courcelle , Pierre Deransart
[Research Report] RR-0322, INRIA. 1984
Rapport inria-00076235v1
Image document

Relational algebra operations and sizes of relations

 D. Gardy , C. Puech
RR-0317, INRIA. 1984
Rapport inria-00076240v1
Image document

Numerical optimization of energy-production systems

 M.C. Bancora-Imbert , Roberto L. Gonzalez , J.C. Miellou , Edmundo Rofman
RR-0306, INRIA. 1984
Rapport inria-00076251v1
Image document

Gestion d'un stock a deux niveaux

 A. Haouba , Jean-Marie Proth
RR-0302, INRIA. 1984
Rapport inria-00076255v1
Image document

Algebraic methods for trie statistics

 Philippe Flajolet , Dominique Sotteau , Mireille Regnier
[Research Report] RR-0298, INRIA. 1984
Rapport inria-00076259v1
Image document

Une representation visuelle des classes empietantes :Les pyramides

 Edwin Diday
RR-0291, INRIA. 1984
Rapport inria-00076267v1
Image document

Register allocation for unary-binary trees

 Philippe Flajolet , Helmut Prodinger
[Research Report] RR-0266, INRIA. 1984
Rapport inria-00076292v1
Image document

Controle des systemes non lineaires comportant des contraintes distribuees sur l'etat

 J. Frederic Bonnans , Eduardo Casas
[Rapport de recherche] RR-0300, INRIA. 1984
Rapport inria-00076257v1
Image document

An optimal triangulation for second order elliptic problems

 Michel Delfour , G. Payre , J.P. Zolesio
[Research Report] RR-0420, INRIA. 1985
Rapport inria-00076136v1
Image document

Natural semantics on the computer

 Dominique Clement , Joelle Despeyroux , Thierry Despeyroux , Laurent Hascoet , Gilles Kahn
[Research Report] RR-0416, INRIA. 1985
Rapport inria-00076140v1
Image document

CRIQUET. Un outil de base pour construire des systèmes experts. Version 5. Manuel d'utilisateur

 Philippe Vignard
[Rapport de recherche] RT-0064, INRIA. 1985, pp.66
Rapport inria-00070095v1
Image document

CRIKA. Quand les regles rencontrent les schemas

 François Rechenmann , Philippe Vignard
[Rapport de recherche] RR-0468, INRIA. 1985, pp.60
Rapport inria-00076086v1
Page :