A propos de dmoz
|
Blog de DMOZ
|
proposer un site
|
mettre à jour une notice
|
devenir éditeur
|
rapport d'abus ou de spam
|
aide
dans tout le répertoire
uniquement dans Centres_de_recherche/Informatique_théorique
Description
Top
:
World
:
Français
:
Sciences
:
Informatique
:
Centres de recherche
:
Informatique théorique
(9)
Open Directory - World: Français: Sciences: Informatique: Centres de recherche: Informatique théorique
Voir également :
World: Français: Sciences: Centres de recherche
(56)
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 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.
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 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 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 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.
Preuves, programmes et systèmes
- Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126.
Chercher "
Informatique théorique
" avec :
AOL
-
Ask
-
Bing
-
Exalead
-
Gigablast
-
Google
-
Lycos
-
Voila
-
Yahoo
-
Yippy
Postuler
pour éditer cette catégorie
Copyright © 2013 Netscape
Conditions d'utilisation
Visitez ces sites analogues au nôtre
Mozilla Europe
|
MusicMoz
|
Wikipedia
Dernière mise à jour : mardi 24 juin 2008 03 h 30 EDT -
éditer