Complexite des logiciels de type 'flots de donnees'

Logiciel de traitement d'images et de mouvements oculaires Fonctionnalites et manuel d'utilisation

Plantier, Justin
Dumont, Eric
Gautrais, Jacques
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 91 - Bretigny (France). Dept. Sciences Cognitives et Ergonomie

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12985 / INIST-CNRS - Insti...

Les aspects rigoureux du genie logiciel Paris la Defense, 20-22 juin 1995

Lemoine, Michel (ed.)

January 1995

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : Y 30826 / INIST-CNRS -...

Progiciel EDYOS : le support logiciel des machines tournantes

Chan Hew Wai, C.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 78 - Chatou (France). Dept. Machines

January 1997

Available from INIST (FR), Document Supply Service, under shelf-number : 26165 A, issue : a.1997 n.1...

Specification de composants logiciels reutilisables

Bert, Didier
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....

Logiciel d'exploitation des mesures acquises lors d'essais de chocs

Chevalier-Omnes, Maris-Christine
Institut National de Recherche sur les Transports et leur Securite (INRETS), 94 - Arcueil (France)

January 1994

Available from INIST (FR), Document Supply Service, under shelf-number : 26361, issue : a.1994 n.1 /...

Enseigner le genie logiciel dans un monde de praticiens : un nouveau metier

Mayadoux, Y.
Narat, V.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 92 - Clamart (France). Dept. Traitement de l'Information et des Etudes Mathematiques

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 ...

Logiciels pour la chimie Catalogue de logiciels de recherche

Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Agence Nationale du Logiciel (ANL)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Thermodata, 38 - Saint-Martin-d'Heres (France)
Societe Francaise de Mineralogie et Cristallographie (SFMC), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. de l'Utilisation du Rayonnement Electromagnetique
Groupe de Graphique Moleculaire (GGM), 13 - Marseille (France)
Societe Francaise de Chimie, 75 - Paris (France). Div. de Chimie Physique
Association Francaise de Cristallographie (AFC), (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Centre Inter-Regional de Calcul Electronique (CIRCE)

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14289 / INIST-CNRS - Insti...

Des brevets pour les logiciels ?

Dupuis, Youenn
Tardieu, Olivier
Ecole Nationale Superieure des Mines, 75 - Paris (France)
Conseil General des Mines, (France)

January 2001

Available from INIST (FR), Document Supply Service, under shelf-number : DO 7680 / INIST-CNRS - Inst...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

Chicli, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Semantique naturelle : specifications et preuves

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

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

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

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPAvailable from INIST (FR), Document Suppl...

Ordres cycliques

Quillot, A.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Logiciel de traitement d'images et de mouvements oculaires Fonctionnalites et manuel d'utilisation

Plantier, Justin
Dumont, Eric
Gautrais, Jacques
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 91 - Bretigny (France). Dept. Sciences Cognitives et Ergonomie

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12985 / INIST-CNRS - Insti...

Les aspects rigoureux du genie logiciel Paris la Defense, 20-22 juin 1995

Lemoine, Michel (ed.)

January 1995

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : Y 30826 / INIST-CNRS -...

Progiciel EDYOS : le support logiciel des machines tournantes

Chan Hew Wai, C.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 78 - Chatou (France). Dept. Machines

January 1997

Available from INIST (FR), Document Supply Service, under shelf-number : 26165 A, issue : a.1997 n.1...

Specification de composants logiciels reutilisables

Bert, Didier
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....

Logiciel d'exploitation des mesures acquises lors d'essais de chocs

Chevalier-Omnes, Maris-Christine
Institut National de Recherche sur les Transports et leur Securite (INRETS), 94 - Arcueil (France)

January 1994

Available from INIST (FR), Document Supply Service, under shelf-number : 26361, issue : a.1994 n.1 /...

Enseigner le genie logiciel dans un monde de praticiens : un nouveau metier

Mayadoux, Y.
Narat, V.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 92 - Clamart (France). Dept. Traitement de l'Information et des Etudes Mathematiques

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 F, issue : a.1996 ...

Logiciels pour la chimie Catalogue de logiciels de recherche

Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Agence Nationale du Logiciel (ANL)
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Thermodata, 38 - Saint-Martin-d'Heres (France)
Societe Francaise de Mineralogie et Cristallographie (SFMC), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Lab. de l'Utilisation du Rayonnement Electromagnetique
Groupe de Graphique Moleculaire (GGM), 13 - Marseille (France)
Societe Francaise de Chimie, 75 - Paris (France). Div. de Chimie Physique
Association Francaise de Cristallographie (AFC), (France)
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Centre Inter-Regional de Calcul Electronique (CIRCE)

January 1991

Available at INIST (FR), Document Supply Service, under shelf-number : AR 14289 / INIST-CNRS - Insti...

Des brevets pour les logiciels ?

Dupuis, Youenn
Tardieu, Olivier
Ecole Nationale Superieure des Mines, 75 - Paris (France)
Conseil General des Mines, (France)

January 2001

Available from INIST (FR), Document Supply Service, under shelf-number : DO 7680 / INIST-CNRS - Inst...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

Chicli, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Semantique naturelle : specifications et preuves

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

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

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

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPAvailable from INIST (FR), Document Suppl...

Ordres cycliques

Quillot, A.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Logiciel de traitement d'images et de mouvements oculaires Fonctionnalites et manuel d'utilisation

Plantier, Justin
Dumont, Eric
Gautrais, Jacques
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 91 - Bretigny (France). Dept. Sciences Cognitives et Ergonomie

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12985 / INIST-CNRS - Insti...

Les aspects rigoureux du genie logiciel Paris la Defense, 20-22 juin 1995

Lemoine, Michel (ed.)

January 1995

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : Y 30826 / INIST-CNRS -...

Progiciel EDYOS : le support logiciel des machines tournantes

Chan Hew Wai, C.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France, 78 - Chatou (France). Dept. Machines

January 1997

Available from INIST (FR), Document Supply Service, under shelf-number : 26165 A, issue : a.1997 n.1...

Complexite des logiciels de type 'flots de donnees'

Abstract

Extracted data

Complexite des logiciels de type 'flots de donnees'

Abstract

Extracted data

Related items

Related items