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

 Liste des chaînes

 Types de vidéos

  •  Audio (42)
  •  Autres (4644)
  •  Colloque (202)
  •  Conférences (2554)
  •  Documentaires (39)
  •  Films institutionnels (113)
  •  Films promotionnels (156)
  •  Interview (152)
  •  Production étudiante (360)
  •  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

12233 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éos de Université intégrée - Version 3.8.0 - 12233 vidéos disponibles [ 277 days, 18:57:18 ]

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