Il y a 16 Résultats pour : "environnement"
- APACHE - Algorithmique parallèle, programmation et partage de charge
- BAMBOO - Un regard algorithmique sur les génomes, les cellules et l'environnement
- COSIVIE - COuplage de modèles pour la SImulation numérique pour des problématiques enVIronnementalEs
- CRISTAL - Programmation typée, modularité et compilation
- CROAP - Conception et réalisation d'outils d'aide à la programmation
- DISCO - Systèmes dynamiques interconnectés dans des environnements complexes
- ECOO - Environnement pour la coopération
- EPATR - Environnement de programmation d'applications temps réel
- INDES - Programmation diffuse et sécurisée
- LANDE - Conception et validation de logiciels
- LOCO - Programmation en LOgique avec COntraintes
- MOISE - Modélisation, Observations, Identification en Sciences de l'Environnement
- PAMPA - modèles et outils pour la programmation des architectures parallèles réparties
- PAREO - Ilôts formels: fondements et applications
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- RODIN - Systèmes de bases de données
Inria
Inria.fr
Inria Channel