Etudes et recherches en informatique

17 réponses.

Rumeur, Jean de

Communications dans les réseaux de processeurs. - Masson, 1994. - (Etudes et recherches en informatique).

Arnold, André

Systèmes de transitions finis et sémantique des processus communicants. - Masson, 1992. - (Etudes et recherches en informatique).

Cosnard, M. (ed) & Nivat, M. (ed) & Robert, Y. (ed)

Algorithmique parallèle. - Masson, 1992. - (Etudes et recherches en informatique).

Audureau, Eric & Enjalbert, Patrice & Farinas del Cerro, Luis

Logique temporelle. Sémantique et validation de programmes parallèles. - Masson, 1990. - (Etudes et recherches en informatique).

Krivine, Jean-Louis

Lambda-calcul, types et modèles. - Masson, 1990. - (Etudes et recherches en informatique).

Lalement, René.

Logique, réduction, résolution. - Masson, 1990. - (Etudes et recherches en informatique).

Muller, Jean-Michel

Arithmétique des ordinateurs. Opérateurs et fonctions élémentaires. - Masson, 1989. - (Etudes et recherches en informatique).

Reutenauer, Christophe

Aspects mathématiques des réseaux de Pétri. - Masson, 1989. - (Etudes et recherches en informatique).

Carlier, Jacques & Chrétienne, Philippe

Problèmes d'ordonnancement. Modélisation/complexité/algorithmes. - Masson, 1988. - (Etudes et recherches en informatique).

Davenport, J. & Siret, Y. & Tournier, E.

Calcul formel, systèmes et algorithmes de manipulations algébriques. - Masson, 1987. - (Etudes et recherches en informatique).

Chenin, P. (ed) & Crescenzo, C. di (ed) & Robert, F. (ed)

Computers and computing. Informatique et calcul. Grenoble. - Masson, 1985. - (Etudes et recherches en informatique).

Berstel, J. & Reutenauer, C.

Les séries rationnelles et leurs langages. - Masson, 1984. - (Etudes et recherches en informatique).

Roy, Yves

TEX/WEB et le traitement de textes mathématiques. - Masson, 1984. - (Etudes et recherches en informatique).

Simon, J.C.

La reconnaissance des formes par algorithmes. - Masson, 1984. - (Etudes et recherches en informatique).

Autebert, Jean-Michel & Boasson, Luc

Transductions rationnelles : application aux langages algébriques. - Masson, 1988. - (Etudes et recherches en informatique; 12).

Autebert, Jean-Michel

Langages algébriques. - Masson, 1987. - (Etudes et recherches en informatique; 9).

Pin, Jean-Eric

Variétés de langages formels. - Masson, 1984. - (Etudes et recherches en informatique; 3).