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
Chaînes
Partenaires
Association des anciens et des amis du CNRS - A3CNRS
Académie des sciences
Astredhor
CC-IN2P3
CNRS autre
CNRS DirCom
CNRS DIST
CNRS Formation
CNRS Images
DevLOG
Doc Forum
France Grilles
GENCI
Groupe calcul
INED
INIST
IHEST
INSHS
INSERM
INCa
ISSN
JNPV
IN2P3
INSU
LAL
MOOC 2 infinis
Non défini
OpenEdition
RNSC
RESINFO
Archives
JDEV 2015 - Grand Amphi-session du vendredi
Chaine :
JDEV
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