Alas: un systeme d'analyse algebrique

Une semantique du langage ESTEREL

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

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

Systeme d'analyse de transferts thermiques

Girard, Jean-Denis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Analyse du travail de pilotage d'une centrale nucleaire (I): le systeme socio-technique

Alengry, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Theo : un systeme de developpement de preuves interactif

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1988

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

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

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

Analyse methodologique pour la mise en oeuvre d'un systeme de gestion de l'assainissement: GE.SI.CA

Lupin Gineys, Laurence
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1990

SIGLEINIST T 75069 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systeme de gestion de fichiers de base sur le hachage sequentiel binaire

Kouacou Gnrangbe, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Analyse complexe

Labonde, Jean-Marc

January 1985

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

Etude et realisation d'un systeme d'analyse automatique du sommeil

Ziani, Abdellatif

January 1989

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

Analyse litteraire et informatique

Shoham, Karen

January 1988

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

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

Classification et modeles

Celeux, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Une semantique du langage ESTEREL

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

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

Systeme d'analyse de transferts thermiques

Girard, Jean-Denis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Analyse du travail de pilotage d'une centrale nucleaire (I): le systeme socio-technique

Alengry, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Theo : un systeme de developpement de preuves interactif

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1988

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

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

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

Analyse methodologique pour la mise en oeuvre d'un systeme de gestion de l'assainissement: GE.SI.CA

Lupin Gineys, Laurence
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1990

SIGLEINIST T 75069 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systeme de gestion de fichiers de base sur le hachage sequentiel binaire

Kouacou Gnrangbe, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Analyse complexe

Labonde, Jean-Marc

January 1985

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

Etude et realisation d'un systeme d'analyse automatique du sommeil

Ziani, Abdellatif

January 1989

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

Analyse litteraire et informatique

Shoham, Karen

January 1988

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

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

Classification et modeles

Celeux, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Une semantique du langage ESTEREL

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

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

Systeme d'analyse de transferts thermiques

Girard, Jean-Denis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Analyse du travail de pilotage d'une centrale nucleaire (I): le systeme socio-technique

Alengry, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Alas: un systeme d'analyse algebrique

Abstract

Extracted data

Alas: un systeme d'analyse algebrique

Abstract

Extracted data

Related items

Related items