POD
Main menu
Types
Promoted playlists
Lives
Channels
Search for a media on POD
Configuration
Language
en
Dark mode
Dyslexia mode
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)
Home
Videos
22 videos found
Audio
Video
Statistics views
Sort
↘
Sort Direction
Title
Date added
Date of event
Duration
00:23:33
Approfondir l'intégration matériel/logicie…
00:28:51
Quels choix possibles dans les modèles d'e…
00:40:14
Pervasive Portable Performance: Quand est-…
00:21:57
Mélange de calcul et d'interaction sur un …
00:36:57
A Functional Semantics for the Hybrid Syst…
00:19:34
Applying a user-centered approach to the s…
00:32:43
Traceability of the compilation process
00:30:50
SSA Translation Is an Abstract Interpretat…
00:34:08
A Formal Specification for Gated SSA
00:28:04
Preuve formelle d'un analyseur flot de don…
00:23:44
Propriété du domaine borné pour la logique…
00:25:34
Execution-time opacity problems in (parame…
More
Loading…
We use third party cookies to personalize content, manage session and analyze site traffic.
I understand