Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
Informatique théorique (11) See Also:
Sites:
» Laboratoire Arithmétique, Cryptographie, Codage (LACO)
Présentation des thèmes de recherche, des groupes de travail, des coopérations. Université de Limoges, France. http://www.unilim.fr/laco/acc/index.html » 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, T http://www.labri.u-bordeaux.fr/ » Laboratoire Leibniz
Mathématiques discrètes, informatique fondamentale et systèmes cognitifs. Grenoble, France, CNRS - UMR 5522. http://www-leibniz.imag.fr/ » Laboratoire Logiciels, Systèmes, Réseaux
Maîtrise du développement des logiciels et des systèmes et réseaux d'informations. Grenoble, France. http://www-lsr.imag.fr/ » 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. http://www.loria.fr » Laboratoire d'Informatique Fondamentale de Lille (LIFL)
Thèmes de recherche : bioinformatique, imagerie, calcul parallèle. Université de Lille 1, France, CNRS - UPRESA 8022. http://www.lifl.fr/ » 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. http://www.lix.polytechnique.fr/ » 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. http://www.lirmm.fr/ » 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. http://www.liafa.jussieu.fr/ » 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. http://lsiit.u-strasbg.fr/ » Preuves, programmes et systèmes
Laboratoire composé de logiciens et d'informaticiens. Université Paris 7, France, CNRS - UMR 7126. http://www.pps.jussieu.fr/ This category needs an editor
Last Updated: 2008-06-23 23:30:34
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |