10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung) : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
22 - Äquivalente Normalformen und Prädikatenlogische Resolution : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen) : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
3 - Divide & Conquer : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
Complexity Studies for Safe and Fan-Bounded Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2015 - ReposIt
15 - Folgerbarkeit, Äquivalenzen und Normalformen : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2) : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
2 - Endliche Automaten und reguläre Sprachen : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
9 - Minimale Spannbäume und kürzeste Pfade : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
5 - Sortieren - (k?) eine untere Schranke : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
8 - Graphen : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
1 - Einführung : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich