Coll.Div.Info. FRANCE / INRIA

8 réponses.


Coll.Div.Info. FRANCE / INRIA , 1990

Bases de données avancées. Sixièmes journées. INRIA, Montpellier, 25-28 septembre 1990. - Institut national de recherche en informatique et en automat, 1991.


Temam, R. (ed)

Coll.Div.Info. FRANCE / INRIA , 1986

Problèmes non linéaires appliqués. Méthodes spectrales. Colloque tenu les 27-30 janvier 1986 à l'INRIA-Roquencourt. Organisé en collaboration avec le CEA et EDF. - Institut national de recherche en informatique et en automat, 1986.


Bristeau, M.O. (ed) & Glowinski, R. (ed)

Coll.Div.Info. FRANCE / INRIA , 1984

Simulation numérique en mécanique des fluides. Colloque tenu à l'INRIA-Roquencourt du 30 janvier au 3 février 1984. Organisé par le service des relations extérieures "cours et séminaires". - Institut national de recherche en informatique et en automat, 1984.


Coll.Div.Info. FRANCE / INRIA , 1979

Journées Génie Logiciel, service de synthèse et d'orientation de la recherche en informatique, Pont à Mousson, 20-22 février 1979. - Institut national de recherche en informatique et en automat, 1979.


Coll.Div.Info. FRANCE / INRIA , 1978

Synthèse, manipulation et transformation de programmes, journées d'études SESORI, Service de synthèse et d'orientation de la recherche en informatique. (Saint Rémy de Provence, 10-12 mai 1978). - Institut national de recherche en informatique et en automat, 1978.


Huet, G. (ed) & Kahn, G. (ed)

Coll.Div.Info. FRANCE / INRIA , 1975

Construction, amélioration et vérification de programmes. Proving and improving programs. 1-3 juil.1975. Arc-et-Senans. - Institut national de recherche en informatique et en automat, 1975.


Flajolet, P. (dir)

Coll.Div.Info. FRANCE / INRIA , 1974

Journées Informatique et Philologie. IRIA, Rocquencourt les 4 - 5 novembre 1974. - Institut national de recherche en informatique et en automat, 1975.


Coll.Div.Info. FRANCE / INRIA , 1970

Numéro spécial du congrés d'informatique 1970 de l'AFCET. Bulletin de l'IRIA. - Institut national de recherche en informatique et en automat, 1970.