KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

KCDS Virtual Open House - Project 01 Logics for dynamical systems and practical theorem proving tools

Autor

André Platzer

Herausgeber

Angela Hühnerfuß

Beteiligtes Institut

KIT-Zentrum Mathematik in den Natur-, Ingenieur- und Wirtschaftswissenschaften (KIT-Zentrum MathSEE)
Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Genre

Veranstaltung

Beschreibung

Meet KIT Graduate School Computational and Data Science in our virtual open house! Find out more about the graduate school and current doctoral projects.

Laufzeit (hh:mm:ss)

00:05:47

Serie

KCDS Virtual Open House

Publiziert am

31.03.2023

Fachgebiet

Informatik

Lizenz

Creative Commons Namensnennung – Nicht kommerziell – Weitergabe unter gleichen Bedingungen 4.0 International

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 65008 bps
Audio Kanäle 1
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 382504 kbps
Container mov,mp4,m4a,3gp,3g2,mj2
Dauer 346.688000 s
Dateiname DIVA-2023-30_mp4.mp4
Dateigröße 16.576.220 byte
Bildwiederholfrequenz 25
Videobitrate 311438 kbps
Video Codec h264

Embed-Code