23 - Workflow, KKN : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
OE-Vorlesung: Einführung in Petrinetze : OE Wahlpflichtvorstellung Köhler-Bußmeier, Michael 2012 - Lecture2Go UHH - frei zugänglich
8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
3 - Äquivalenz von Systemen : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich
2 - Büchi Automaten : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich
27 - µ-rekursive Funktionen : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
17 - Parallele Komposition : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
01 - Einführung, Automaten : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
12 - Algorithmus: Lebendigkeits-Invarianz : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
02 - Automaten II : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
23 - Turingmaschinen und kontextsensitive Grammatiken III : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
1 - Organisatorisches : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
15 - Prozessalgebra : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
13 - Zustandsraumexplosion : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
22 - Turingmaschinen und kontextsensitive Grammatiken II : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich