36 Einträge gefunden

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

   1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
17. 9 - Synchrone Produkte : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

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

    1. Moldt, Daniel

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

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich
20. 11 - Verfeinerung / Vergrößerung : Formale Grundlagen der Informatik II

    1. Moldt, Daniel

    2013 - Lecture2Go UHH - frei zugänglich