43 Einträge gefunden

1. 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
2. 13 - Zustandsraumexplosion : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
3. 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
4. 27 - µ-rekursive Funktionen : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael

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

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
6. 04 - Automaten IV : Formale Grundlagen der Informatik I

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

   2011 - Lecture2Go UHH - frei zugänglich
7. 12 - Algorithmus: Lebendigkeits-Invarianz : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
8. 26 - Berechenbarkeitsdefinitionen : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
9. 14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
10. On Defining Conflict-Freedom for Object Nets

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2011 - ReposIt
11. 23 - Turingmaschinen und kontextsensitive Grammatiken III : Formale Grundlagen der Informatik I

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

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

    1. Köhler-Bußmeier, Michael

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

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
14. 03 - Automaten III : Formale Grundlagen der Informatik I

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

    2011 - Lecture2Go UHH - frei zugänglich
15. Generating executable multi-agent system prototypes from sonar specifications

    1. Köhler-Bußmeier, Michael
    2. Wester-Ebbinghaus, Matthias
    3. Moldt, Daniel

    2011 - Forschungsinformationssystem der UHH
16. 7 - Model Checking : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
17. 2 - Büchi Automaten : Formale Grundlagen der Informatik II

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

    2011 - Lecture2Go UHH - frei zugänglich
18. 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
19. Liveness and Reachability for Elementary Object Systems

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2011 - ReposIt
20. 20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II

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

    2011 - Lecture2Go UHH - frei zugänglich