POD
Menu principal
  •  Directs
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (76)
  •  Autres (4009)
  •  Colloque (188)
  •  Conférences (2618)
  •  Documentaires (40)
  •  Films institutionnels (112)
  •  Films promotionnels (140)
  •  Interview (139)
  •  Production étudiante (270)
  •  Relation presse (2)
  •  Supports pédagogiques (3671)
  •  Tutoriels (333)

 Filtres

Les vidéos à gauche sont automatiquement triées selon les filtres sélectionnés ci-dessous. Consultez les options pour ajuster les résultats.

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

11485 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
00:34:08
A Formal Specification for Gated SSA
A Formal Specification for Gated SSA
00:48:17
Y. Lahini
Y. Lahini
00:34:03
J. Barés
J. Barés
01:03:18
M. Mungan
M. Mungan
00:28:04
Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération
Preuve formelle d'un analyseur flot de don…
00:23:44
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Propriété du domaine borné pour la logique…
00:25:34
Execution-time opacity problems in (parametric) timed automata
Execution-time opacity problems in (parame…
00:03:41
C5-Vidéo C5-12_pH monobase forte.mp4
C5-Vidéo C5-12_pH monobase forte.mp4
01:59:59
L. Laurson
L. Laurson
00:42:09
D. Korchinski
D. Korchinski
00:32:59
S. Patinet
S. Patinet
00:24:48
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Formalizing an Efficient Runtime Assertion…
Plus
Chargement en cours…

 

Université intégrée

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

POD | Plateforme vidéo - Université intégrée • Version 4.3.1-dev • 11485 vidéos disponibles (267 jours, 14:15:13)

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).