MENU
Directs
Catégories
Chimie
Economie et finances
Informatique
Mathématiques
Physique
Planète et univers
Science non linéaire
Sciences cognitives
Environnement
Sciences de l'Homme et de la Société
Sciences de l'ingénieur
Sciences du Vivant
Statistiques
Communication
Partenaires
Académie des sciences
CNRS autre
CNRS DirCom
CNRS Formation
CNRS Images
Doc Forum
France Grilles
Groupe calcul
INED
INIST
IHEST
INSHS
INSERM
INCa
IN2P3
INSU
LAL
Non défini
RNSC
RESINFO
Archives
Connexion
Créer un compte
Mot de passe oublié
JDEV 2015 - Grand Amphi-session du vendredi
Date de début :
03/07/2015 08:00
Date de fin :
03/07/2015 12:00
Lieu
Bordeaux INP - ENSEIRB-MATMECA
Ville
Bordeaux
Session pleinière du vendredi
Vidéos
26:14
Devlog
03/07/2015 : 08:00 - 09:00
1:20:08
Coq, un assistant de preuve.
03/07/2015 : 09:00 - 10:00
19:01
Retour d'expérience de l'utilisation de coq chez un industriel
03/07/2015 : 10:00 - 10:00
50:35
Javascript: de la standardisation à la formalisation
03/07/2015 : 11:00 - 11:00
8:37
Conclusion, présentation cepage et remerciements jdev15
03/07/2015 : 12:00 - 12:00
Du même auteur
