KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018

Autor

Anne Koziolek

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

11 |
0:00:00 Starten
0:00:58 Lernziele Heute
0:05:28 Assertions
0:07:58 Zusicherungen
0:14:25 Assertions in Java
0:19:48 Vor- und Nachbedingungen, Invarianten
0:22:04 Beispiel Invarianten
0:27:06 assert oder if-Abfrage
0:29:49 Statische Analyse
0:32:43 Zusammenfassung
0:37:28 14 Zerteilen, Suchen und Sortieren
0:39:55 Überblick
0:40:22 Zerteilen
0:45:56 Beispiel: Taschenrechner
0:57:17 Top-Down Parsing
1:02:18 Rekursive Descent Parser: Hilfsfunktionen
1:06:27 Rekursiver Abstieg: Umsetzung Regeln
1:09:59 Zusammenfassung Parsen
1:11:28 Suchen
1:11:56 Lineare Suche
1:13:14 Lineare Suche - Implementierung
1:14:00 Lineare Suche - Visualisierung
1:15:20 Binäre Suche
1:16:42 Binäre Suche - Implementierung

Laufzeit (hh:mm:ss)

01:19:03

Serie

Programmieren, Vorlesung, WS 2017/18

Publiziert am

25.01.2018

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 933925 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4743 s
Dateiname DIVA-2018-94_hd.mp4
Dateigröße 553.678.936 byte
Bildwiederholfrequenz 25
Videobitrate 799827 kbps
Video Codec h264

Embed-Code