TTT: TeleTeachingTool
development

Formats:
ZIP/TTT
 
Recordings in TeleTeachingTool-Format
including fulltext search and slide by slide navigation
Podcast/MP4 Recording downscaled and converted to a bog standard MP4 (without fulltextsearch and slide by slide navigation)
JavaScript    Enscripten-based webplayer for lecture recordings
Stream    Lightweight pure Javascript interpreter for Teleteaching-Format recordings
PDF/HTML    automatically generated Scripts for each recording



back to semester selection

Alle neuen Vorlesungen abonnieren

Recordings Summer 2020:

Compiler Construction by Dr. Michael Petter

Neueste Vorlesungen abonnieren
Neueste Vorlesungen als Podcast abonnieren
Android app compatible recordings
Nr.NameTTT pure Podcast VideoJavaScript StreamStream betaPDF SkriptHTML Skript
01Compiler_Construction_2020_04_20[ zip (7 Mb) ] [ mp4 (13 Mb) ] [ Watch (6 Mb) ] [ Watch (6 Mb) ] [ pdf (420 kb) ] [ html ]
02Compiler_Construction_2020_04_23-01-Scanner[ zip (3787 kb) ] [ mp4 (6 Mb) ] [ Watch (3498 kb) ] [ pdf (192 kb) ] [ html ]
03Compiler_Construction_2020_04_23-02-Regex[ zip (4 Mb) ] [ mp4 (9 Mb) ] [ Watch (4728 kb) ] [ pdf (213 kb) ] [ html ]
04Compiler_Construction_2020_04_23-03-NFA[ zip (2890 kb) ] [ mp4 (4 Mb) ] [ Watch (2471 kb) ] [ pdf (334 kb) ] [ html ]
05Compiler_Construction_2020_04_23-04-SimpleBerrySethi[ zip (8 Mb) ] [ mp4 (14 Mb) ] [ Watch (7 Mb) ] [ pdf (1263 kb) ] [ html ]
06Compiler_Construction_2020_04_30-05-AdvancedBerrySethi[ zip (14 Mb) ] [ mp4 (27 Mb) ] [ Watch (13 Mb) ] [ pdf (823 kb) ] [ html ]
07Compiler_Construction_2020_04_30-06-Powerset[ zip (4932 kb) ] [ mp4 (8 Mb) ] [ Watch (4397 kb) ] [ pdf (299 kb) ] [ html ]
08Compiler_Construction_2020_04_30-07-Scanner[ zip (4804 kb) ] [ mp4 (8 Mb) ] [ Watch (4414 kb) ] [ pdf (254 kb) ] [ html ]
09Compiler_Construction_2020_05_07-08-Parsers[ zip (1795 kb) ] [ mp4 (3476 kb) ] [ Watch (1693 kb) ] [ pdf (52 kb) ] [ html ]
10Compiler_Construction_2020_05_07-09-Grammars[ zip (4228 kb) ] [ mp4 (7 Mb) ] [ Watch (3801 kb) ] [ pdf (442 kb) ] [ html ]
11Compiler_Construction_2020_05_07-10-Derivations[ zip (6 Mb) ] [ mp4 (11 Mb) ] [ Watch (5 Mb) ] [ pdf (734 kb) ] [ html ]
12Compiler_Construction_2020_05_07-11-PDA[ zip (5 Mb) ] [ mp4 (10 Mb) ] [ Watch (5 Mb) ] [ pdf (565 kb) ] [ html ]
13Compiler_Construction_2020_05_07-12-ItemPDA[ zip (8 Mb) ] [ mp4 (16 Mb) ] [ Watch (7 Mb) ] [ pdf (545 kb) ] [ html ]
14Compiler_Construction_2020_05_14-13-LL1[ zip (13 Mb) ] [ mp4 (11 Mb) ] [ Watch (5 Mb) ] [ pdf (657 kb) ] [ html ]
15Compiler_Construction_2020_05_14-14-First_1[ zip (31 Mb) ] [ mp4 (21 Mb) ] [ Watch (10 Mb) ] [ pdf (1351 kb) ] [ html ]
16Compiler_Construction_2020_05_14-15-Follow_1[ zip (11 Mb) ] [ mp4 (7 Mb) ] [ Watch (3636 kb) ] [ pdf (673 kb) ] [ html ]
17Compiler_Construction_2020_05_14-16-LeftRecursion[ zip (13 Mb) ] [ mp4 (7 Mb) ] [ Watch (3726 kb) ] [ pdf (597 kb) ] [ html ]
18Compiler_Construction_2020_05_21-17-RLL1[ zip (28 Mb) ] [ mp4 (21 Mb) ] [ Watch (10 Mb) ] [ pdf (1481 kb) ] [ html ]
19Compiler_Construction_2020_05_28-18-ShiftReduce[ zip (11 Mb) ] [ mp4 (12 Mb) ] [ Watch (5 Mb) ] [ pdf (326 kb) ] [ html ]
20Compiler_Construction_2020_05_28-19-AdmissibleItems[ zip (18 Mb) ] [ mp4 (7 Mb) ] [ Watch (3663 kb) ] [ pdf (526 kb) ] [ html ]
21Compiler_Construction_2020_05_28-20-CharacteristicAutomaton[ zip (27 Mb) ] [ mp4 (5 Mb) ] [ Watch (2835 kb) ] [ pdf (857 kb) ] [ html ]
22Compiler_Construction_2020_05_28-21-CanonicalAutomata[ zip (19 Mb) ] [ mp4 (9 Mb) ] [ Watch (4840 kb) ] [ pdf (814 kb) ] [ html ]
23Compiler_Construction_2020_05_28-22-LR0Parser[ zip (28 Mb) ] [ mp4 (12 Mb) ] [ Watch (6 Mb) ] [ pdf (1809 kb) ] [ html ]
24Compiler_Construction_2020_06_04-23-LRk[ zip (24 Mb) ] [ mp4 (15 Mb) ] [ Watch (7 Mb) ] [ pdf (1086 kb) ] [ html ]
25Compiler_Construction_2020_06_04-24-CanonicalLR1[ zip (9 Mb) ] [ mp4 (7 Mb) ] [ Watch (3592 kb) ] [ pdf (484 kb) ] [ html ]
26Compiler_Construction_2020_06_04-25-LR1Example[ zip (20 Mb) ] [ mp4 (11 Mb) ] [ Watch (5 Mb) ] [ pdf (1334 kb) ] [ html ]
27Compiler_Construction_2020_06_04-26-LR1Parser[ zip (8 Mb) ] [ mp4 (7 Mb) ] [ Watch (3617 kb) ] [ pdf (453 kb) ] [ html ]
28Compiler_Construction_2020_06_04-27-Precedences[ zip (7 Mb) ] [ mp4 (3251 kb) ] [ Watch (1605 kb) ] [ pdf (540 kb) ] [ html ]
29Compiler_Construction_2020_06_11-28-LR2toLR1[ zip (22 Mb) ] [ mp4 (12 Mb) ] [ Watch (5 Mb) ] [ pdf (1048 kb) ] [ html ]
30Compiler_Construction_2020_06_11-29-another[ zip (21 Mb) ] [ mp4 (5 Mb) ] [ Watch (3052 kb) ] [ pdf (892 kb) ] [ html ]
31Compiler_Construction_2020_06_11-30-ParserExample[ zip (5 Mb) ] [ mp4 (4054 kb) ] [ Watch (1970 kb) ] [ pdf (344 kb) ] [ html ]
32Compiler_Construction_2020_06_11-31-ANSIC[ zip (14 Mb) ] [ mp4 (8 Mb) ] [ Watch (4274 kb) ] [ pdf (743 kb) ] [ html ]
33Compiler_Construction_2020_06_11-32-LRvsLL[ zip (5 Mb) ] [ mp4 (3357 kb) ] [ Watch (1655 kb) ] [ pdf (243 kb) ] [ html ]
34Compiler_Construction_2020_06_18-33-AttributeGrammars[ zip (16 Mb) ] [ mp4 (5 Mb) ] [ Watch (2913 kb) ] [ pdf (792 kb) ] [ html ]
35Compiler_Construction_2020_06_18-34-AttributeGrammarNotation[ zip (7 Mb) ] [ mp4 (4 Mb) ] [ Watch (2413 kb) ] [ pdf (422 kb) ] [ html ]
36Compiler_Construction_2020_06_18-35-LocalDependencyGraph[ zip (5 Mb) ] [ mp4 (3036 kb) ] [ Watch (1520 kb) ] [ pdf (303 kb) ] [ html ]
37Compiler_Construction_2020_06_18-36-MultipleAttributes[ zip (6 Mb) ] [ mp4 (4616 kb) ] [ Watch (2290 kb) ] [ pdf (414 kb) ] [ html ]
38Compiler_Construction_2020_06_18-37-StronglyAcyclic[ zip (18 Mb) ] [ mp4 (9 Mb) ] [ Watch (4 Mb) ] [ pdf (888 kb) ] [ html ]
39Compiler_Construction_2020_06_18-38-StrongAcyclicExample[ zip (19 Mb) ] [ mp4 (6 Mb) ] [ Watch (3051 kb) ] [ pdf (725 kb) ] [ html ]
40Compiler_Construction_2020_06_18-39-DemandDrivenEval[ zip (9 Mb) ] [ mp4 (3219 kb) ] [ Watch (1592 kb) ] [ pdf (493 kb) ] [ html ]
41Compiler_Construction_2020_06_18-40-LAttributation[ zip (11 Mb) ] [ mp4 (4 Mb) ] [ Watch (2389 kb) ] [ pdf (611 kb) ] [ html ]
42Compiler_Construction_2020_06_18-41-Visitors[ zip (10 Mb) ] [ mp4 (6 Mb) ] [ Watch (3412 kb) ] [ pdf (594 kb) ] [ html ]
43Compiler_Construction_2020_06_25-42-DeclUseIntro[ zip (5 Mb) ] [ mp4 (2482 kb) ] [ Watch (1257 kb) ] [ pdf (326 kb) ] [ html ]
44Compiler_Construction_2020_06_25-43-StringHashing[ zip (11 Mb) ] [ mp4 (6 Mb) ] [ Watch (3265 kb) ] [ pdf (621 kb) ] [ html ]
45Compiler_Construction_2020_06_25-44-SymbolTables[ zip (13 Mb) ] [ mp4 (7 Mb) ] [ Watch (3691 kb) ] [ pdf (862 kb) ] [ html ]
46Compiler_Construction_2020_06_25-45-TypeSystems[ zip (14 Mb) ] [ mp4 (8 Mb) ] [ Watch (4289 kb) ] [ pdf (691 kb) ] [ html ]
47Compiler_Construction_2020_06_25-46-TypingExample[ zip (13 Mb) ] [ mp4 (4532 kb) ] [ Watch (2158 kb) ] [ pdf (858 kb) ] [ html ]
48Compiler_Construction_2020_06_25-47-StructuralEquivalence[ zip (12 Mb) ] [ mp4 (7 Mb) ] [ Watch (3985 kb) ] [ pdf (646 kb) ] [ html ]
49Compiler_Construction_2020_06_26-48-Subtyping[ zip (17 Mb) ] [ mp4 (14 Mb) ] [ Watch (7 Mb) ] [ pdf (818 kb) ] [ html ]
50Compiler_Construction_2020_07_02-49-RCMa[ zip (14 Mb) ] [ mp4 (7 Mb) ] [ Watch (3854 kb) ] [ pdf (683 kb) ] [ html ]
51Compiler_Construction_2020_07_02-50-Registers[ zip (9 Mb) ] [ mp4 (4695 kb) ] [ Watch (2297 kb) ] [ pdf (478 kb) ] [ html ]
52Compiler_Construction_2020_07_02-51-Arithmetics[ zip (17 Mb) ] [ mp4 (10 Mb) ] [ Watch (5 Mb) ] [ pdf (734 kb) ] [ html ]
53Compiler_Construction_2020_07_02-52-ExpressionsExample[ zip (5 Mb) ] [ mp4 (2144 kb) ] [ Watch (994 kb) ] [ pdf (393 kb) ] [ html ]
54Compiler_Construction_2020_07_02-53-Conditionals[ zip (14 Mb) ] [ mp4 (9 Mb) ] [ Watch (4861 kb) ] [ pdf (652 kb) ] [ html ]
55Compiler_Construction_2020_07_02-54-Loops[ zip (4493 kb) ] [ mp4 (3871 kb) ] [ Watch (1922 kb) ] [ pdf (230 kb) ] [ html ]
56Compiler_Construction_2020_07_02-55-Switch[ zip (12 Mb) ] [ mp4 (8 Mb) ] [ Watch (4250 kb) ] [ pdf (656 kb) ] [ html ]
57Compiler_Construction_2020_07_02-56-StackFrames[ zip (7 Mb) ] [ mp4 (4549 kb) ] [ Watch (2272 kb) ] [ pdf (271 kb) ] [ html ]
58Compiler_Construction_2020_07_02-57-CallerCallee[ zip (9 Mb) ] [ mp4 (6 Mb) ] [ Watch (2929 kb) ] [ pdf (513 kb) ] [ html ]
59Compiler_Construction_2020_07_02-58-FunctionCall[ zip (4003 kb) ] [ mp4 (2921 kb) ] [ Watch (1444 kb) ] [ pdf (235 kb) ] [ html ]
60Compiler_Construction_2020_07_02-59-FunDecl[ zip (11 Mb) ] [ mp4 (4916 kb) ] [ Watch (2335 kb) ] [ pdf (501 kb) ] [ html ]
61Compiler_Construction_2020_07_02-60-WholePrograms[ zip (5 Mb) ] [ mp4 (6 Mb) ] [ Watch (3102 kb) ] [ pdf (239 kb) ] [ html ]


Theo by Prof. Tobias Nipkow

Neueste Vorlesungen abonnieren
Neueste Vorlesungen als Podcast abonnieren
Android app compatible recordings
Nr.NameTTT pure Podcast VideoJavaScript StreamStream betaPDF SkriptHTML Skript
01Theo_2020_04_15-3[ zip (161 Mb) ] [ mp4 (42 Mb) ] [ Watch (20 Mb) ] [ pdf (6 Mb) ] [ html ]


FDS by Prof. Tobias Nipkow

Neueste Vorlesungen abonnieren
Neueste Vorlesungen als Podcast abonnieren
Android app compatible recordings
Nr.NameTTT pure Podcast VideoJavaScript StreamStream betaPDF SkriptHTML Skript
01FDS_2020_07_15-3[ zip (59 Mb) ] [ mp4 (20 Mb) ] [ Watch (9 Mb) ] [ pdf (5 Mb) ] [ html ]