Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 9580
Conférences

le (8m3s)

Berlin7 Open Access Conference e-infrasctructures Questions

OPEN ACCESS REACHING DIVERSE COMMUNITIESVoir le lien : http://www.berlin7.org/The 7th Berlin Open Access Conference will take place at the Panthéon-Sorbonne University in Paris on 2-4 December 2009. As well as taking stock of past activities, the conference will focus on the question of how to get the different communities more actively involved.About the Berlin DeclarationIn 2003, leading European research institutes and the scientific community signed the Berlin Declaration on Open Access to Knowledge in the Sciences and Humanities on the Internet. The declaration followed on from the Budapest Open Access Initiative in 2002. In signing the declaration, governments, research institutions, ...
Voir la vidéo
Label UNT Vidéocours

le (8m3s)

Assistant de démonstration (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Cinquième partie du cours "Introduction à la vérification de programme".
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte