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

Filtrer vos résultats

313 résultats
Page :
triés par
Image document

Getting faster tex output

 Janet Incerpi , Francis Montagnac
[Research Report] RT-0071, INRIA. 1986, pp.20
Rapport inria-00070089v1
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

MADMACS.Manuel d'utilisation

 Eric Gautrin
[Rapport de recherche] RT-0066, INRIA. 1986
Rapport inria-00071336v1
Image document

Robust stability of explicit adaptive control without persistent excitation

 Philippe de Larminat
[Research Report] RR-0581, INRIA. 1986
Rapport inria-00075973v1
Image document

Le DSPA un pipeline synchronisé par les données

 Yvon Jégou
[Rapport de recherche] RR-0574, INRIA. 1986
Rapport inria-00075980v1
Image document

The equations of one-dimensional unsteady flame propagation : Existence and uniqueness

 Bernard Larrouturou
[Research Report] RR-0568, INRIA. 1986, pp.51
Rapport inria-00075986v1
Image document

The asymptotic local approach to change detection and model validation

 Albert Benveniste , Michèle Basseville , George V. Moustakides
[Research Report] RR-0564, INRIA. 1986
Rapport inria-00075990v1
Image document

Proof of termination of the rewriting system SUBST on CCL

 Thérèse Hardin , A. Laville
RR-0560, INRIA. 1986
Rapport inria-00075994v1
Image document

The semantics of action : its processing as a function of the task

 J.F. Richard
RR-0542, INRIA. 1986
Rapport inria-00076012v1
Image document

La tolérance aux fautes dans un système temps-réel à contraintes strictes

 Maryline Silly
[Rapport de recherche] RR-0512, INRIA. 1986
Rapport inria-00076042v1
Image document

Conditions aux limites pseudo-absorbantes pour l'equation de diffusion

 Patrick Joly
RR-0505, INRIA. 1986
Rapport inria-00076049v1
Image document

Level number sequences for trees

 Philippe Flajolet , Helmut Prodinger
[Research Report] RR-0484, INRIA. 1986
Rapport inria-00076070v1
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

Spécification et validation d'un protocole de communication adapté au temps réel

 Philippe F.R. Belmans , Omar Drissi-Kaitouni
[Rapport de recherche] RR-0594, INRIA. 1986
Rapport inria-00075960v1
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

Practical variations of shellsort

 Janet Incerpi , Robert Sedgewick
[Research Report] RR-0489, INRIA. 1986
Rapport inria-00076065v1
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
Page :