38 Einträge gefunden

1. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
2. OE-Vorlesung: Einführung in Petrinetze : OE Wahlpflichtvorstellung

   1. Köhler-Bußmeier, Michael

   2012 - Lecture2Go UHH - frei zugänglich
3. 24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
4. 27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
5. 18 - Rekursion : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
6. 15 - Prozessalgebra : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
7. 4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
8. 17 - Parallele Komposition : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
9. 10 - P/T Netze : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
10. 21 - Turingmaschinen und kontextsensitive Grammatiken : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
11. 11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
12. 01 - Einführung, Automaten : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael
    2. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
13. 5 - Temporale Logik, LTL - Formeln : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
14. 24 - Komplexitätklassen : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
15. 6 - CTL- Formeln, Fairness : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
16. 16 - "Verträglichkeit" der Bisimulation mit BPA : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
17. 8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
18. 20 - Typ-0 Grammatik nach Chomsky : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
19. 13 - Zustandsraumexplosion : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
20. 27 - µ-rekursive Funktionen : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich