Einrichtung Universität Hamburg 31 Hochschule für Angewandte Wissenschaften Hamburg 7 Weitere Einrichtungen 2
Erscheinungsjahr 2015 6 2014 14 2013 8 2012 2 2009 1 2007 1 2006 3 2005 1 2004 3 2003 1 alle zeigenListe einklappen
Autor/in Valk, Rüdiger Köhler, Michael 7 Rölke, Heiko 6 Moldt, Daniel 5 Langer, Roman 3 von Lüde, Rolf 2 Christ, Marcel 1 Duvigneau, Michael 1 Gähde, Ulrich 1 Krause, Detlev 1 Kummer, Olaf 1 Malsch, Thomas 1 Perschke, Rasco 1 Rolf, Arno 1 Sarnowsky, Jürgen 1 Schmitt, Marco 1 Schumacher, Jörn 1 Wienberg, Frank 1 v. 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
23 - Geschützte Rekursion : 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
24- Fairness/Parallele Maschinen : 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
20 - Prozessalgebra und Bisimulation : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
2 - Model-Checking : 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
6 - Temporale Logik : 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
24 - Rekursion : 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
26 - Parallele Maschinen : 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
21 - Prozessalgebra : 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
5 - Kripkestrukturen von Programmen : 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
4 - Synchrone Produkte : 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
