POD
Menu principal
  •  Directs
  •  Listes de lecture promues
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (42)
  •  Autres (4646)
  •  Colloque (202)
  •  Conférences (2554)
  •  Documentaires (39)
  •  Films institutionnels (113)
  •  Films promotionnels (156)
  •  Interview (152)
  •  Production étudiante (361)
  •  Relation presse (3)
  •  Supports pédagogiques (3694)
  •  Tutoriels (343)

 Filtres

Les vidéos à gauche sont automatiquement triées en fonction des filtres sélectionnés. Vérifiez les options pour ajuster les résultats.

 Types
 Disciplines
 Mots clés
 Cursus universitaire
  1. Accueil
  2. Vidéos

12236 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:30:53
Formally verified block optimizations by symbolic execution modulo invariants
Formally verified block optimizations by s…
00:35:19
OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)
OptiTrust : User-Guided Source-to-Source T…
00:20:38
Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves
Un arbre de syntaxe pour programmes annoté…
00:32:58
K. Gosh
K. Gosh
00:41:19
T. Makinen
T. Makinen
00:24:14
U. Dattani
U. Dattani
00:20:55
M. Bernard
M. Bernard
01:24:49
V. Jeudy
V. Jeudy
00:00:22
Chi101-2223_Fiche cours C3-3_Exercice 3-10 (correction).mp4
Chi101-2223_Fiche cours C3-3_Exercice 3-10…
00:02:23
Chi101-2223_Fiche cours C3-3_Exercice 3-9 (correction).mp4
Chi101-2223_Fiche cours C3-3_Exercice 3-9 …
00:02:11
Chi101-2223_Fiche cours C3-3_Exercice 3-8 (correction).mp4
Chi101-2223_Fiche cours C3-3_Exercice 3-8 …
00:45:57
Webinaire - Formations en Gestion des Ressources Energétiques et Ecoconception
Webinaire - Formations en Gestion des Ress…
Plus
Chargement en cours…

 

Université intégrée

  • Mentions légales
  • Accessibilité : Partiellement conforme
  • ESUP-Portail
  • Projet Esup-Pod

POD plateforme vidéos de Université intégrée - Version 3.8.0 - 12236 vidéos disponibles [ 277 days, 19:07:27 ]

Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances). En savoir plus