POD
Main menu
  • Promoted playlists
  • Lives
  • Configuration
  • Log in

 Channel list

 Types of videos

  •  Other (4583)
  •  Colloque (281)
  •  Conferences (2044)
  •  Documentaries (60)
  •  Institutional movie (205)
  •  Promotional movie (154)
  •  Interview (166)
  •  Students work (469)
  •  relation presse (7)
  •  Learning resources (5796)
  •  Tutorials (488)
  1. Home
  2. Videos

5 videos found

 Audio  Video  Statistics views
00:24:48
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Formalizing an Efficient Runtime Assertion…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
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:12:22
Recherche reproductible : archiver son code avec Software Heritage, questions diverses
Recherche reproductible : archiver son cod…
01:18:04
Recherche reproductible : archiver son code avec Software Heritage
Recherche reproductible : archiver son cod…
Loading…

 Filters

The videos on the left are automatically sorted according to the filters selected. Check options to adjust results.

Types
Disciplines
Tags
University course

 

Université intégrée

  • Legal Notice
  • Accessibility: Partially compliant
  • Esup Portal
  • Esup-Pod Project

POD video platform of Université intégrée - Release 3.4.1 - 14205 videos availables [ 320 days, 8:26:02 ]

We use third party cookies to personalize content, manage session and analyze site traffic.