Construction de services distribues : une approche a base d'agents mobiles

Reductibilite des operateurs aux differences finies Une approche Galois-theorique

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

January 1999

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

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

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

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomSIGLEAvailable from INIST (FR), Document Supply Servi...

Lois de comportement des geomateriaux et modelisation par la methode des elements finis

Mestat, Philippe
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)

January 1993

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

Construction de services distribues : une approche a base d'agents mobiles

Rouvrais, Siegfried
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Themes 1 et 2 : eseaux et systemes - Genie logiciel et calcul symbolique - Projets Lande et SolidorA...

Decouverte automatique entre terminaux mobiles communicants

Troel, Arnaud
Weis, Frederic
Banatre, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 des Sciences Appliquees de Rennes (INSA), 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)

January 2003

Theme 1 - Reseaux et systemes - Projet ACESAvailable from INIST (FR), Document Supply Service, under...

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...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

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...

Quotients dans le CCI

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

January 2000

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

Vers des primitives propres en arithmetique des ordinateurs

Muller, Jean-Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 1999

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

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

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

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomAvailable from INIST (FR), Document Supply Service, u...

Objets conditionels et objets inconnus

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Reductibilite des operateurs aux differences finies Une approche Galois-theorique

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

January 1999

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

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

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

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomSIGLEAvailable from INIST (FR), Document Supply Servi...

Lois de comportement des geomateriaux et modelisation par la methode des elements finis

Mestat, Philippe
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)

January 1993

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

Construction de services distribues : une approche a base d'agents mobiles

Rouvrais, Siegfried
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Themes 1 et 2 : eseaux et systemes - Genie logiciel et calcul symbolique - Projets Lande et SolidorA...

Decouverte automatique entre terminaux mobiles communicants

Troel, Arnaud
Weis, Frederic
Banatre, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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 des Sciences Appliquees de Rennes (INSA), 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)

January 2003

Theme 1 - Reseaux et systemes - Projet ACESAvailable from INIST (FR), Document Supply Service, under...

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...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

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...

Quotients dans le CCI

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

January 2000

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

Vers des primitives propres en arithmetique des ordinateurs

Muller, Jean-Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 1999

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

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

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

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomAvailable from INIST (FR), Document Supply Service, u...

Objets conditionels et objets inconnus

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Reductibilite des operateurs aux differences finies Une approche Galois-theorique

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

January 1999

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

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

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

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomSIGLEAvailable from INIST (FR), Document Supply Servi...

Lois de comportement des geomateriaux et modelisation par la methode des elements finis

Mestat, Philippe
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)

January 1993

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

Construction de services distribues : une approche a base d'agents mobiles

Abstract

Extracted data

Topics

Construction de services distribues : une approche a base d'agents mobiles

Abstract

Extracted data

Topics

Related items

Related items