30 Einträge gefunden

1. 21 - Prozessalgebra : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
2. 24- Fairness/Parallele Maschinen : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
3. 20 - Prozessalgebra und Bisimulation : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
4. 23 - Geschützte Rekursion : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
5. 22 - Parallele Komposition/Rekursion : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
6. 25 - Parallele Maschinen : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2015 - Lecture2Go UHH - frei zugänglich
7. 4 - Synchrone Produkte : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2014 - Lecture2Go UHH - frei zugänglich
8. 24 - Rekursion : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2014 - Lecture2Go UHH - frei zugänglich
9. 3 - Büchi-Automaten : Formale Grundlagen der Informatik 2

   1. Valk, Rüdiger

   2014 - Lecture2Go UHH - frei zugänglich
10. 21 - Prozessalgebra : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
11. 25 - Abstraktion : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
12. 27 - PRAM : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
13. 1 - Modellierung und Analyse von Informatiksystemen : Formale Grundlagen der Informatik 2

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
14. 23 - ACP-Axiome : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
15. 6 - Temporale Logik : Formale Grundlagen der Informatik 2

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
16. 2 - Model-Checking : Formale Grundlagen der Informatik 2

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
17. 26 - Parallele Maschinen : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
18. 7 - Computational Tree Logic (CTL) : Formale Grundlagen der Informatik 2

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
19. 5 - Kripkestrukturen von Programmen : Formale Grundlagen der Informatik 2

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich
20. 22 - Prozessalgebra : Formale Grundlagen der Informatik II

    1. Valk, Rüdiger

    2014 - Lecture2Go UHH - frei zugänglich