2406 articles – 24 Notices  [english version]
.:. Consultation > Liste par discipline > Informatique .:.
535 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Découverte automatique de correspondances entre ontologies
Tournaire R.
Université de Grenoble (08/10/2010), Marie-Christine Rousset (Dir.) [tel-00526791 - version 1]
fulltext access Gestion intégrée et multi-échelles des systèmes répartis : Architecture et canevas intergiciel orientés composants
Kessis M.
Université de Grenoble (30/09/2010), Claudia Roncancio (Dir.) [tel-00742118 - version 1]
fulltext access Une Nouvelle Mesure de Co-Similarité : Applications aux Données Textuelles et Génomique
Hussain S. F.
Institut National Polytechnique de Grenoble - INPG (2010-09-28), Mirta Gordon (Dir.) [tel-00525366 - version 1]
fulltext access Recherche opérationnelle et optimisation pour la conception testable de circuits intégrés complexes
Zaourar L.
Université Joseph-Fourier - Grenoble I (24/09/2010), Yann Kieffer; Nadia BRAUNER (Dir.) [tel-00959786 - version 1]
fulltext access Schémas de formules et de preuves en logique propositionnelle
Aravantinos V.
Institut National Polytechnique de Grenoble - INPG (23/09/2010), Nicolas Peltier (Dir.) [tel-00523658 - version 1]
fulltext access Contributions à l'analyse statique de programmes manipulant des tableaux
Péron M.
Université de Grenoble (22/09/2010), Nicolas Halbwachs (Dir.) [tel-00623697 - version 1]
fulltext access Performance, disponibilité et coût de services Internet adaptatifs
Arnaud J.
Université Joseph-Fourier - Grenoble I (21/09/2010), Jean-Bernard Stefani (Dir.) [tel-00529936 - version 1]
fulltext access Intelligence Ambiante Pro-Active : de la Spécification à l'Implémentation
Reignier P.
Université Joseph-Fourier - Grenoble I (16/09/2010), Marie-Christine Rousset (Pr.) [tel-00529415 - version 1]
fulltext access Composants et Typage
Lienhardt M.
Université Joseph-Fourier - Grenoble I (07/09/2010), Jean-Bernard Stefani (Dir.) [tel-00749351 - version 3]
fulltext access Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
Garnacho M.
Université de Grenoble (27/08/2010), Yassine Lakhnech (Dir.) [tel-00720595 - version 1]