Outils de calcul sur les programmes

Les analyses de testabilite

Robach, C.
Guibert, S.
Lutoff, D.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Circuits et Systemes

January 1986

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Etude sur les grands centres de calculs et leurs liaisons

Bignet, Yannick
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction Generale des Relations Culturelles, Scientifiques et Techniques
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction de la Cooperation Scientifique Technique et du Developpement
Ambassade de France, Bonn (Germany)

January 1989

SIGLECNRS RP 350 (303) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ecrins: un laboratoire de preuve pour les calculs de processus

De Simone, Robert
Madelaine, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1987

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

Introduction aux calculs combinatoires

Xuong, N.H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1988

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

Calcul de valeurs et vecteurs propres

Chatelin, Francoise
IBM France Cie., 75 - Paris (France)

January 1986

SIGLECNRS RP 250 (96) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees Mathematiques et informatique

Paris-7 Univ., 75 - Paris (France). Lab. d'Informatique The orique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

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

Calcul discretise des echangeurs tubulaires et platulaires

Boumedien, Ali

January 1986

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

Quelques calculs de formes primitives

Del Fattore, Frederic

January 1985

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

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Langages algebriques deterministes et transversale rationnelle

Benois, M.
Butzbach, P.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1984

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

Sur le calcul des places et des anneaux d'entiers d'un corps de fonctions algebriques

Rybowicz, Marc

January 1990

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

Apprentissage et calculs

Boucheron, Stephane

January 1988

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

Programme de recherche coordonnees mathematiques et informatiques

Perrin, Dominique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation

January 1987

CNRS AR 13227 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

VLSI et calcul formel

Davenport, James H
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble I, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1983

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

Les analyses de testabilite

Robach, C.
Guibert, S.
Lutoff, D.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Circuits et Systemes

January 1986

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Etude sur les grands centres de calculs et leurs liaisons

Bignet, Yannick
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction Generale des Relations Culturelles, Scientifiques et Techniques
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction de la Cooperation Scientifique Technique et du Developpement
Ambassade de France, Bonn (Germany)

January 1989

SIGLECNRS RP 350 (303) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ecrins: un laboratoire de preuve pour les calculs de processus

De Simone, Robert
Madelaine, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1987

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

Introduction aux calculs combinatoires

Xuong, N.H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1988

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

Calcul de valeurs et vecteurs propres

Chatelin, Francoise
IBM France Cie., 75 - Paris (France)

January 1986

SIGLECNRS RP 250 (96) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees Mathematiques et informatique

Paris-7 Univ., 75 - Paris (France). Lab. d'Informatique The orique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

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

Calcul discretise des echangeurs tubulaires et platulaires

Boumedien, Ali

January 1986

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

Quelques calculs de formes primitives

Del Fattore, Frederic

January 1985

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

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Langages algebriques deterministes et transversale rationnelle

Benois, M.
Butzbach, P.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1984

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

Sur le calcul des places et des anneaux d'entiers d'un corps de fonctions algebriques

Rybowicz, Marc

January 1990

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

Apprentissage et calculs

Boucheron, Stephane

January 1988

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

Programme de recherche coordonnees mathematiques et informatiques

Perrin, Dominique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation

January 1987

CNRS AR 13227 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

VLSI et calcul formel

Davenport, James H
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble I, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1983

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

Les analyses de testabilite

Robach, C.
Guibert, S.
Lutoff, D.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Circuits et Systemes

January 1986

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Etude sur les grands centres de calculs et leurs liaisons

Bignet, Yannick
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction Generale des Relations Culturelles, Scientifiques et Techniques
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction de la Cooperation Scientifique Technique et du Developpement
Ambassade de France, Bonn (Germany)

January 1989

SIGLECNRS RP 350 (303) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ecrins: un laboratoire de preuve pour les calculs de processus

De Simone, Robert
Madelaine, Eric
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1987

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

Outils de calcul sur les programmes

Abstract

Extracted data

Outils de calcul sur les programmes

Abstract

Extracted data

Related items

Related items