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

 Liste des chaînes

 Types de vidéos

  •  Audio (74)
  •  Autres (3928)
  •  Colloque (196)
  •  Conférences (2643)
  •  Documentaires (38)
  •  Films institutionnels (111)
  •  Films promotionnels (136)
  •  Interview (144)
  •  Production étudiante (272)
  •  Relation presse (2)
  •  Supports pédagogiques (3626)
  •  Tutoriels (339)

Recherche avancée

Filtre

Type
Autres (3636)
Supports pédagogiques (3541)
Conférences (1357)
Tutoriels (329)
Production étudiante (286)
Mots clés
perform (295)
fle (290)
sciences (288)
techniques (286)
filipé (282)
Discipline
Informatique, Mathématiques, Sciences et technologies de l'information et de la communication (1233)
Biologie, Chimie, Santé, STAPS (665)
Arts, Communication, Création, Cultures, Langage, Langues, Lettres, Sciences humaines (512)
Ingénierie (304)
Droit, Economie, Etudes politiques, Gestion, Management (268)
Chaîne
Recherche (2075)
Pédagogies innovantes (629)
La Formation (410)
L'Université (239)
International (120)
  1. Accueil
  2. Rechercher

Résultats de la recherche

Filtres actifs (cliquer pour en retirer) :
  • Français
9836 vidéos trouvées
01:01:21
fips in early universe
Fips in early universe
01:59:59
AI
AI
00:06:04
Screencast Filipé : Réaliser un module
Screencast Filipé : Réaliser un module
01:59:59
reconnexion 2
Reconnexion 2
00:32:43
Traceability of the compilation process
Traceability of the compilation process
00:34:08
A Formal Specification for Gated SSA
A Formal Specification for Gated SSA
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:25:34
Execution-time opacity problems in (parametric) timed automata
Execution-time opacity problems in (parame…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
00:30:01
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Correlating Test Events With Monitoring Lo…
00:31:36
Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C
Une sémantique des structures, unions et 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é…
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 - 11445 vidéos disponibles [ 269 days, 7:53:51 ]

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