Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 17080
Documentaires

le (9m25s)

AU FIL DU CIEL DU CIEL, LES PREMIÈRES CONFÉRENCES PUBLIQUES FILMÉES DE L'IAP

À l'occasion de la célébration des 20 ans des conférences publiques de l'IAP, ce film court construit à partir des archives des premières conférences filmées, évoque non sans humour les grands thèmes scientifiques abordés lors de ces conférences : l'expansion de l'Univers, la forme de l'espace, la nature du vide, la constante cosmologique, la matière et l'énergie noires...
Voir la vidéo
Label UNT Vidéocours

le (9m26s)

Exécution symbolique (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.Deuxième partie du cours "Introduction à la vérification de programme".
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte