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

Filtrer vos résultats

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

MACROTEX : a LATEX code generator in MACSYMA

 J.P. Chancelier , Agnès Sulem
[Research Report] RT-0093, INRIA. 1987, pp.26
Rapport inria-00070073v1
Image document

Getting faster tex output

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

MLREG : un generateur de bases de connaissances par modelisation lineaire

 T. Cembrzynski
RR-0769, INRIA. 1987
Rapport inria-00075783v1
Image document

An operational formal definition of PROLOG (comprehensive version of RR 598)

 Pierre Deransart , Gérard Ferrand
[Research Report] RR-0763, INRIA. 1987
Rapport inria-00075789v1
Image document

Random tree models in the analysis of algorithms

 Philippe Flajolet
RR-0729, INRIA. 1987
Rapport inria-00075823v1
Image document

Average-case analysis of algorithms and data structures

 Philippe Flajolet , J.S. Vitter
[Research Report] RR-0718, INRIA. 1987
Rapport inria-00075834v1
Image document

Comparaison de partitions avec des marges fixées ; développements récents

 Israël-César Lerman
[Rapport de recherche] RR-0701, INRIA. 1987
Rapport inria-00075852v1
Image document

Distributed system structuring using multi-functions

 Jean-Pierre Banâtre , Michel Banâtre , Florimond Ployette
[Research Report] RR-0694, Inria. 1987
Rapport inria-00075859v1
Image document

Knowledge-based methodology in pattern recognition and understanding

 Jean-Paul Haton
[Research Report] RR-0691, INRIA. 1987
Rapport inria-00075862v1
Image document

Acyclic fork-join queueing networks

 François Baccelli , W.A. Massey , D. Towsley
RR-0688, INRIA. 1987
Rapport inria-00075865v1
Image document

A denotational theory of synchronous communicating systems

 Albert Benveniste , Paul Le Guernic
[Research Report] RR-0685, INRIA. 1987
Rapport inria-00075868v1
Image document

ECRINS un laboratoire de preuve pour les calculs de processus

 Eric Madelaine , Robert de Simone
[Rapport de recherche] RR-0672, INRIA. 1987
Rapport inria-00075881v1
Image document

le support de domaines complexes dans SABRINA: une approche par integration d'un interpreteur LISP

 G. Kiernan , R. Le Maoult , F. Pasquer
RR-0671, INRIA. 1987
Rapport inria-00075882v1
Image document

Methodologie d'analyse des resultats du modele de planification du reseau de transport a tres haute tension d'EDF

 T. Cembrzynski
RR-0651, INRIA. 1987
Rapport inria-00075902v1
Image document

On the uniqueness of local minima for general abstract non-linear least square problems

 Guy Chavent
[Research Report] RR-0645, INRIA. 1987
Rapport inria-00075908v1
Image document

Acquisition d'un outil de specification (GRAFCET) pour decrire un procede automatise

 A. Morais
RR-0631, INRIA. 1987
Rapport inria-00075922v1
Image document

On r-partitions designs in hamming spaces

 Paul Camion , Bernard Courteau , Philippe Delsarte
RR-0626, INRIA. 1987
Rapport inria-00075927v1
Image document

M/M/1 multiclass FIFO queues and generalizations

 Gerardo Rubino , Raymond Marie
[Research Report] RR-0617, INRIA. 1987
Rapport inria-00075937v1
Image document

Un schéma multigrille en éléments finis décentré pour les équations d'Euler

 Marie-Helene Lallemand , Loula Fatima Fezoui , Eric Perez
[Rapport de recherche] RR-0602, INRIA. 1987
Rapport inria-00075952v1
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
Page :