Transformations de programme par pliage/depliage

Le Fonctionnement de l'assainissement en France

Gleizes, C
Ministere de l'Environnement Neuilly-sur-Seine (FRANCE)
Societe des Ingenieurs et Scientifiques de France Paris (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Integration formelle

Davenport, J.H
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1 Grenoble (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Transformations de programmes C.S.P. : modelisation des signaux, modelisation des gardes de sorties

Bassot, Jean-Pierre

January 1984

SIGLECNRS T 56783 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Emploi d'un programme de tri de personnel par categories

Tournarie, Max
Commissariat a l'Energie Atomique, Centre d'Etudes Nucleaires de Saclay Gif-sur-Yvette (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Transformations de suites par composition de methodes

Senhadji, Mohamed Noureddine

January 1984

SIGLET 54980 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de resolution de systemes lineaires creux

Corbex, C
Centre National d'Etudes des Telecommunications, Grenoble, Division Developpements Technologiques et Fabrication Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ordonnancement des procedures d'un programme de test periodique

Courtois, B
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble, Computer Architecture Group Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mouvement social et politique scientifique dans le programme nucleaire francais

Saglio, Jean
DGRST Paris (FRANCE)
Centre National de la Recherche Scientifique, ERA 633, Groupe Lyonnais de Sociologie Industrielle Bron (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Choix de la commutation de terminaux dans le cadre du reseau d'exploitation

Menda, C.
Valero, R
Centre national d'etudes des telecommunications, Paris A, Division Outils de gestion et d'exploitation Issy-les-Moulineaux (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Technologie et societe

Gabillard, Elisabeth
Hermant-Barchechath, Corinne
Universite de Paris 9 Paris (FRANCE)
Ministere de l'Environnement Paris (FRANCE)

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre des operateurs generiques et transformation de programmes en LPG

Bert, Didier
Bensalem, Saddek
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Depouillement du listage des centres d'abonnes

Berruyer, Y.
Bourre, N
Centre national d'etudes des telecommunications, Paris A, Division Outils de gestion et d'exploitation Issy-les-Moulineaux (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une transformation du probleme du sac-a-dos avec une contrainte d'egalite

Ribeiro, Celso

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Le Fonctionnement de l'assainissement en France

Gleizes, C
Ministere de l'Environnement Neuilly-sur-Seine (FRANCE)
Societe des Ingenieurs et Scientifiques de France Paris (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Integration formelle

Davenport, J.H
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1 Grenoble (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Transformations de programmes C.S.P. : modelisation des signaux, modelisation des gardes de sorties

Bassot, Jean-Pierre

January 1984

SIGLECNRS T 56783 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Emploi d'un programme de tri de personnel par categories

Tournarie, Max
Commissariat a l'Energie Atomique, Centre d'Etudes Nucleaires de Saclay Gif-sur-Yvette (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Transformations de suites par composition de methodes

Senhadji, Mohamed Noureddine

January 1984

SIGLET 54980 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de resolution de systemes lineaires creux

Corbex, C
Centre National d'Etudes des Telecommunications, Grenoble, Division Developpements Technologiques et Fabrication Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ordonnancement des procedures d'un programme de test periodique

Courtois, B
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble, Computer Architecture Group Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Mouvement social et politique scientifique dans le programme nucleaire francais

Saglio, Jean
DGRST Paris (FRANCE)
Centre National de la Recherche Scientifique, ERA 633, Groupe Lyonnais de Sociologie Industrielle Bron (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Choix de la commutation de terminaux dans le cadre du reseau d'exploitation

Menda, C.
Valero, R
Centre national d'etudes des telecommunications, Paris A, Division Outils de gestion et d'exploitation Issy-les-Moulineaux (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Technologie et societe

Gabillard, Elisabeth
Hermant-Barchechath, Corinne
Universite de Paris 9 Paris (FRANCE)
Ministere de l'Environnement Paris (FRANCE)

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre des operateurs generiques et transformation de programmes en LPG

Bert, Didier
Bensalem, Saddek
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Depouillement du listage des centres d'abonnes

Berruyer, Y.
Bourre, N
Centre national d'etudes des telecommunications, Paris A, Division Outils de gestion et d'exploitation Issy-les-Moulineaux (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une transformation du probleme du sac-a-dos avec une contrainte d'egalite

Ribeiro, Celso

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Le Fonctionnement de l'assainissement en France

Gleizes, C
Ministere de l'Environnement Neuilly-sur-Seine (FRANCE)
Societe des Ingenieurs et Scientifiques de France Paris (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Integration formelle

Davenport, J.H
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1 Grenoble (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Transformations de programme par pliage/depliage

Abstract

Extracted data

Transformations de programme par pliage/depliage

Abstract

Extracted data

Related items

Related items