Etude, extension et implementation de Manens : un langage applicatif pour la manipulation des ensembles dans le cadre de la theorie des algorithmes

Etudes adaptatives et comparatives de certains algorithmes en optimisation : implementation effective et applications

Yassine, Adnan

January 1989

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

L'ordonnancement dans les ateliers : complexite et algorithmes heuristiques

Sriskandarajah, Chelliah
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

Quelques propositions pour la mise en oeuvre d'algorithmes combinatoires

Tallot, Didier

January 1985

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

Proprietes algorithmiques des extensions lineaires

Bouchitte, Vincent

January 1987

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

Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

Campioni, Christine

January 1991

INIST T 75403 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Etude d'un langage de programmation relationnel : extension aux types complexes

Brenac Erena, Lise
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1986

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

Methodes algorithmiques et lexicales de phonetisation de textes : applications au francais

Laporte, Eric

January 1988

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

Reecriture d'hypercartes combinatoires et conception d'un langage de programmation d'algorithmes de graphes

Sopena, Eric

January 1986

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

ESTELLE: un langage ISO pour les algorithmes distribues et les protocoles

Courtiat, Jean-Pierre
Dembinski, Piotr
Groz, Roland
Jard, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Le langage CLIP. Implementation efficace d'un mecanisme de manipulation de l'histoire du calcul

Quaggetto, Michel

January 1989

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

Algorithmes de propagation de contraintes en raisonnement temporel

Tolba, Hany
Charpillet, Francois
Masini, Gerald
Haton, Jean-Paul
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Paru dans : Actes conference onziemes journees internationales 'les systemes experts et leurs applic...

Compilation des langages fonctionnels dans les combinateurs categoriques : application au langage ML

Mauny, Michel

January 1985

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

Extension du systeme T de Godel dans les domaines finis. Etude de la complexite algorithmique

Marion, Jean-Yves

January 1992

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

Produits et decompositions d'automates : applications a la theorie des langages

Weil, Pascal

January 1985

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

Implementation d'architectures efficaces pour la representation des connaissances : application aux langages Loopsiris et Oks

Voyer, Robert

January 1989

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

Etudes adaptatives et comparatives de certains algorithmes en optimisation : implementation effective et applications

Yassine, Adnan

January 1989

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

L'ordonnancement dans les ateliers : complexite et algorithmes heuristiques

Sriskandarajah, Chelliah
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

Quelques propositions pour la mise en oeuvre d'algorithmes combinatoires

Tallot, Didier

January 1985

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

Proprietes algorithmiques des extensions lineaires

Bouchitte, Vincent

January 1987

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

Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

Campioni, Christine

January 1991

INIST T 75403 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Etude d'un langage de programmation relationnel : extension aux types complexes

Brenac Erena, Lise
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1986

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

Methodes algorithmiques et lexicales de phonetisation de textes : applications au francais

Laporte, Eric

January 1988

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

Reecriture d'hypercartes combinatoires et conception d'un langage de programmation d'algorithmes de graphes

Sopena, Eric

January 1986

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

ESTELLE: un langage ISO pour les algorithmes distribues et les protocoles

Courtiat, Jean-Pierre
Dembinski, Piotr
Groz, Roland
Jard, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Le langage CLIP. Implementation efficace d'un mecanisme de manipulation de l'histoire du calcul

Quaggetto, Michel

January 1989

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

Algorithmes de propagation de contraintes en raisonnement temporel

Tolba, Hany
Charpillet, Francois
Masini, Gerald
Haton, Jean-Paul
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1991

Paru dans : Actes conference onziemes journees internationales 'les systemes experts et leurs applic...

Compilation des langages fonctionnels dans les combinateurs categoriques : application au langage ML

Mauny, Michel

January 1985

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

Extension du systeme T de Godel dans les domaines finis. Etude de la complexite algorithmique

Marion, Jean-Yves

January 1992

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

Produits et decompositions d'automates : applications a la theorie des langages

Weil, Pascal

January 1985

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

Implementation d'architectures efficaces pour la representation des connaissances : application aux langages Loopsiris et Oks

Voyer, Robert

January 1989

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

Etudes adaptatives et comparatives de certains algorithmes en optimisation : implementation effective et applications

Yassine, Adnan

January 1989

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

L'ordonnancement dans les ateliers : complexite et algorithmes heuristiques

Sriskandarajah, Chelliah
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

Quelques propositions pour la mise en oeuvre d'algorithmes combinatoires

Tallot, Didier

January 1985

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

Etude, extension et implementation de Manens : un langage applicatif pour la manipulation des ensembles dans le cadre de la theorie des algorithmes

Abstract

Extracted data

Etude, extension et implementation de Manens : un langage applicatif pour la manipulation des ensembles dans le cadre de la theorie des algorithmes

Abstract

Extracted data

Related items

Related items