57 Einträge gefunden

1. 26 - Parallele Algorithmen : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2015 - Lecture2Go UHH - frei zugänglich
2. 17 - Höhere Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
3. 13 - Analyse endlicher Erreichbarkeitsgraphen : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
4. 11 - Kantenkonstante Netze (KKN) : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
5. 10 - Verfeinerung/Vergröberung : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
6. 18 - Bankiersproblem/ Renew : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
7. 16 - CPN / Workflow : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
8. 15 - Systemverifikation durch Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
9. 9 - Partial order semantics : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
10. 8 - Synchrone Produkte (Wdh.)/ Partial order semantics : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
11. 12 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
12. 19 - Bankiersproblem : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
13. 14 - Zustandsraumexplosion : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
14. 20 - Datenbank - Manager; Alternierprotokoll : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
15. 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
16. 16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
17. 14 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
18. 15 - Fairness; Zustandsraumexplosion : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
19. 18 - Renew; Workflow : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
20. 10 - Partial order semantics / Petrinetze : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich