11 - Verfeinerung / Vergrößerung : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
20 - Datenbank - Manager; Alternierprotokoll : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
10 - Partial order semantics / Petrinetze : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
17 - Strukturelle Eigenschaftem von Systemverifikationen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1 : Formale Grundlagen der Informatik II 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
26 - Parallele Algorithmen, Paralleles Suchen und Mischen : Formale Grundlagen der Informatik II Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
25 - Parallele Maschinen : Formale Grundlagen der Informatik II 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
21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2 : Formale Grundlagen der Informatik II Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
23 - Workflow, KKN : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden. : Formale Grundlagen der Informatik II Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 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