Einrichtung Universität Hamburg 31 Weitere Einrichtungen 2 Hochschule für Angewandte Wissenschaften Hamburg 1
Autor/in Valk, Rüdiger Christ, Marcel 1 Gähde, Ulrich 1 Krause, Detlev 1 Köhler, Michael 1 Langer, Roman 1 Malsch, Thomas 1 Moldt, Daniel 1 Perschke, Rasco 1 Rolf, Arno 1 Sarnowsky, Jürgen 1 Schmitt, Marco 1 v. Lüde, Rolf 1 von Lüde, Rolf 1 alle zeigenListe einklappen
22 - Parallele Komposition/Rekursion : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
24- Fairness/Parallele Maschinen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
23 - Geschützte Rekursion : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
21 - Prozessalgebra : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
25 - Parallele Maschinen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
20 - Prozessalgebra und Bisimulation : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
3 - Büchi-Automaten : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
22 - Prozessalgebra : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
21 - Prozessalgebra : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
4 - Synchrone Produkte : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
23 - ACP-Axiome : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
5 - Kripkestrukturen von Programmen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
2 - Model-Checking : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
7 - Computational Tree Logic (CTL) : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
27 - PRAM : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
25 - Abstraktion : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
24 - Rekursion : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
26 - Parallele Maschinen : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
6 - Temporale Logik : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
1 - Modellierung und Analyse von Informatiksystemen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich