Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Logiciel Pff library
Pff library - Pff library
Date de dernière version : 01 janvier 2013
Responsable :
BOLDO Sylvie
Logiciel
Activités de recherche
Membres
BOLDO Sylvie
Equipe
Vérification d'Algorithmes, Langages et Systèmes
Equipe-projet Inria
Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces
LODATLAS
Browsing Linked Data Catalogs with LODAtlas
BOLDR
Query Intermediate Representation Library
> tous les logiciels
