.:. Browse > By year > 1991 .:.

289 documents ordered by : Date Title first author name document type Submit date

... 23 - 24 - 25 - 26 - 27 - 28 - 29

Estimates of cycle times in stochastic Petri nets Baccelli F., Konstantopoulos P. N° RR-1572 (1991) [inria-00074989 - version 1]

Asservissement visuel applique a un robot mobile : etat de l'art et modelisation cinematique Pissard-Gibollet R., Rives P. N° RR-1577 (1991) [inria-00074983 - version 1]

Manuel SIGNAL Bournai P., Chéron B., Houssais B., Le Guernic P. N° RT-0128 (1991) [inria-00071319 - version 1]

Functional programming using CAML Mauny M. N° RT-0129 (1991) [inria-00070039 - version 1]

BASILE-MAPLE interface: a link between CACSD package and computer algebra system Gomez C., Le Vey G., Rougerie C. N° RT-0130 (1991) [inria-00070038 - version 1]

PARSEVAL: parallelisation sur reseaux de transputers de simulations pour l'evaluation de performances Rakotoarisoa H., Mussi P. N° RT-0131 (1991) [inria-00070037 - version 1]

Utilisations de fenetres actives sous XWINDOW version 3.1 Viéville T., Fournier R., Robert L. N° RT-0132 (1991) [inria-00070036 - version 1]

The Coq proof assistant user's guide : version 5.6 Dowek G., Felty A., Herbelin H., Huet G., Werner B., Paulin-Mohring C. N° RT-0134 (1991) [inria-00070034 - version 1]

L'Arithmetique generique de Sisyphe Grimm J. N° RT-0136 (1991) [inria-00070032 - version 1]