Database Systems Research Group at U Tübingen
Videos from Database Systems Research Group at U Tübingen
Page 2 of 2 • 30 total videos
43:19
Informatik 2 — Chapter #01 — Video #004 — Seiteneffekte, REPL coin, Ausdrucksauswertung, Typen
Database Systems Research Group at U Tübingen
1.4K views
28:40
Informatik 2 — Chapter #01 — Video #006 — while-Loops
Database Systems Research Group at U Tübingen
1.2K views
41:00
Informatik 1 — Chapter #13 — Video #061 — Freie/gebundene Variablen, β-Reduktion
Database Systems Research Group at U Tübingen
1.3K views
46:23
Informatik 1 — Chapter #13 — Video #062 — β-Reduktion, Variable Capture, Substitution, Namens-Pool
Database Systems Research Group at U Tübingen
1.2K views
40:52
Informatik 1 — Chapter #03 — Video #014 — Signatur one-of, Reduktion von cond, "faule" Auswertung
Database Systems Research Group at U Tübingen
2.7K views
28:35
Informatik 1 — Chapter #00 — Video #001 — Einführung und Willkommen! Was ist Informatik?
Database Systems Research Group at U Tübingen
28.7K views