POD
Menu principal
Chaînes
Directs
Listes de lecture promues
Types
Rechercher un média sur POD
Configuration
Langue
fr
Mode sombre
Mode dyslexie
Connexion
Liste des chaînes
Types de vidéos
Autres (4595)
Colloque (298)
Conférences (2230)
Documentaires (61)
Films institutionnels (207)
Films promotionnels (162)
Interview (170)
Production étudiante (498)
Relation presse (6)
Supports pédagogiques (5837)
Tutoriels (502)
Le serveur vidéo sera en maintenance mardi 21 Mai toute la journée.
Accueil
Vidéos
22 vidéos trouvées
Audio
Vidéo
Statistiques de vues
Tri
↘
Direction de tri
Titre
Date d’ajout
Date de l’évènement
Durée
Chargement en cours…
00:31:36
Une sémantique des structures, unions et t…
00:20:38
Un arbre de syntaxe pour programmes annoté…
00:32:43
Traceability of the compilation process
00:26:52
Towards the verification of User Interface…
00:30:50
SSA Translation Is an Abstract Interpretat…
00:28:51
Quels choix possibles dans les modèles d'e…
00:23:44
Propriété du domaine borné pour la logique…
00:28:04
Preuve formelle d'un analyseur flot de don…
00:40:14
Pervasive Portable Performance: Quand est-…
00:35:19
OptiTrust : User-Guided Source-to-Source T…
00:21:57
Mélange de calcul et d'interaction sur un …
00:30:53
Formally verified block optimizations by s…
Plus
Chargement en cours…
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).
J’ai compris