Médiathèque d'Inria

17 documents trouvés

Documents par page :

Inria-0252-032.jpg

Illustration humoristique : virus informatique

2016

Inria-0247-062.jpg

Anne Canteaut, responsable de l'équipe-projet SECRET

2016

Inria-0247-064.jpg

Anne Canteaut, responsable de l'équipe-projet SECRET

2016

Inria-0247-066.jpg

Anne Canteaut, responsable de l'équipe-projet SECRET

2016

Inria-0247-069.jpg

Chercheurs de l'équipe SECRET

2016

Inria-609-comput_new_logo.mp4

Computational Challenges [Défis numériques]

609

2008

Inria-442-Construction_collaborative-en.mp4

Collaborative construction of consensual knowledge base [Construction collaborative de base de connaissance consensuelle]

442

1998

Inria-317-Aucun_outil-fr.mp4

RII - Aucun outil informatique ne nous garantira d'avoir pensé à tout.

1995

Inria-541-Raw_Material-en.mp4

Raw Material

541

2004

Inria-608-defis-fr.mp4

Défis numériques

609

2008

Inria-538-Matiere_premiere-fr.mp4

Matière première

541

2004

Inria-697-Abstraction-fr.mp4

RII - Astrée : preuve d'absence d'erreurs à l'exécution.

2010

Inria-678_RII4_probayes-fr.mp4

RII - Fusion de capteur et détection de comportement pour l'assistance à la conduite et le calcul du risque.

2010

INRIA-0083-516.jpg

Vérification de programme

2008

INRIA-0083-557.jpg

Vérification de programme

2008

INRIA-0083-571.jpg

Vérification de programme

2008

INRIA-0083-838.jpg

Vérification de programme

2008


Pseudo
Mot de passe