L'île des mathématiques propose des cours et des exercices de maths et de physique.

L'île des Mathématiques

Repertoire ODP des sites mathematiques

Recherche :  
Annuaire    Top clics    Top votes    Nouveautés    Proposer un site    Faire un lien    ODP

Informatique>> Centres_de_recherche>> Informatique_théorique>>

• Laboratoire Arithmétique, Cryptographie, Codage (LACO) - - Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges, France.


• Laboratoire Bordelais de Recherche en Informatique (LaBRI) - - Les chercheurs du LaBRI sont répartis en cinq équipes : combinatoire et algorithmique, logiques, langages et applications, modélisation, vérification et test de systèmes informatisés, calcul parallèle et distribué, image et son. CNRS - UMR 5800, Talence, France.


• Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT) - - S'occupe de l'imagerie par l'informatique, le traitement du signal, et l'automatisme. Université de Strasbourg, France, CNRS - UPRES 7705.


• Laboratoire d'informatique algorithmique, fondements et applications (LIAFA) - - Thèmes : automates et langages, algorithme et combinatoire, modélisation et vérification. Université Paris 7, France, CNRS-UMR 7089.


• Laboratoire d'Informatique de l'Ecole Polytechnique (LIX) - - Recherche en algorithmique, sémantique, preuve et interprétation abstraite, algorithmique distribuée, architectures matérielles et logicielles pour la reconnaissance de formes. Palaiseau, France, CNRS - UMR 7650.


• Laboratoire d'Informatique, de Robotique et de Micro-électronique de Montpellier (LIRMM) - - Son but est de structurer les recherches en informatique, robotique et microélectronique. Université de Montpellier, France, CNRS - UMR 5506.


• Laboratoire d'Informatique Fondamentale de Lille (LIFL) - - Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. Université de Lille 1, France, CNRS - UPRESA 8022.


• Laboratoire Leibniz - - Mathématiques discrètes, informatique fondamentale et systèmes cognitifs. Grenoble, France, CNRS - UMR 5522.


• Laboratoire Logiciels, Systèmes, Réseaux - - Maîtrise du développement des logiciels et des systèmes et réseaux d'informations. Grenoble, France.


• Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) - - Thèmes de recherche : théories et techniques de production de logiciel et intelligence artificielle. Nancy, France, CNRS - UMR 7503.


• Preuves, programmes et systèmes - - Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126.

Recherche :  
Annuaire    Top clics    Top votes    Nouveautés    Proposer un site    Faire un lien    ODP

retrouvez cette page sur l'île des mathématiques haut de page
© Tom_Pascal & Océane 2006