50 Einträge gefunden

1. Ein einfaches Modell sozialer Selbstorganisation, Teil 1 : Strukturdynamiken

   1. Köhler-Bußmeier, Michael

   2022 - ReposIt
2. Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen

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

   2014 - Forschungsinformationssystem der UHH
3. Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik

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

   2014 - Forschungsinformationssystem der UHH
4. OE-Vorlesung: Einführung in Petrinetze : OE Wahlpflichtvorstellung

   1. Köhler-Bußmeier, Michael

   2012 - Lecture2Go UHH - frei zugänglich
5. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

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

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

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

   2012 - Lecture2Go UHH - frei zugänglich
7. 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
8. 21 - Turingmaschinen und kontextsensitive Grammatiken : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael

   2011 - Lecture2Go UHH - frei zugänglich
9. 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
10. 2 - Büchi Automaten : Formale Grundlagen der Informatik II

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

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

    1. Köhler-Bußmeier, Michael

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

    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. 5 - Temporale Logik, LTL - Formeln : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
16. 3 - Äquivalenz von Systemen : Formale Grundlagen der Informatik II

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

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

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
18. 05 Normalformen kontextfreier Grammatiken : Formale Grundlagen der Informatik I

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

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

    1. Köhler-Bußmeier, Michael

    2011 - Lecture2Go UHH - frei zugänglich
20. 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten : Formale Grundlagen der Informatik I

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

    2011 - Lecture2Go UHH - frei zugänglich