Erscheinungsjahr 2015 6 2014 14 2013 8 2012 2 2009 1 2007 1 2006 1 2005 1 2004 3 2003 1 alle zeigen Liste einklappen
Autor/in Valk, Rüdiger Köhler, Michael 7 Rölke, Heiko 6 Moldt, Daniel 5 Langer, Roman 2 von Lüde, Rolf 2 Duvigneau, Michael 1 Kummer, Olaf 1 Schumacher, Jörn 1 Wienberg, Frank 1 alle zeigen Liste einklappen
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
24- Fairness/Parallele Maschinen : 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
22 - Parallele Komposition/Rekursion : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
26 - Parallele Maschinen : Formale Grundlagen der Informatik II 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
25 - Abstraktion : Formale Grundlagen der Informatik II 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
5 - Kripkestrukturen von Programmen : Formale Grundlagen der Informatik 2 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
4 - Synchrone Produkte : Formale Grundlagen der Informatik 2 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
23 - ACP-Axiome : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
3 - Büchi-Automaten : Formale Grundlagen der Informatik 2 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
27 - PRAM : Formale Grundlagen der Informatik II 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
2 - Model-Checking : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
