Videokatalog

Sortieren nach Titel Sortieren nach Datum

26 Informatik WiSe 14/15 Formale Grundlagen der Informatik 2 Dr. Daniel Moldt, Prof. Dr. Rüdiger Valk 28.01.2015 26 - Parallele Algorithmen Dr. Daniel Moldt 19.12.2014 19 - Bankiersproblem Dr. Daniel Moldt 17.12.2014 18 - Bankiersproblem/ Renew Dr. Daniel Moldt 12.12.2014 17 - Höhere Petrinetze Dr. Daniel Moldt 10.12.2014 16 - CPN / Workflow Dr. Daniel Moldt 05.12.2014 15 - Systemverifikation durch Petrinetze Dr. Daniel Moldt 03.12.2014 14 - Zustandsraumexplosion Dr. Daniel Moldt 28.11.2014 13 - Analyse endlicher Erreichbarkeitsgraphen Dr. Daniel Moldt 26.11.2014 12 - Entscheidbarkeitsproblem Dr. Daniel Moldt 21.11.2014 11 - Kantenkonstante Netze (KKN) Dr. Daniel Moldt 18.11.2014 10 - Verfeinerung/Vergröberung Dr. Daniel Moldt 14.11.2014 9 - Partial order semantics Dr. Daniel Moldt 12.11.2014 8 - Synchrone Produkte (Wdh.)/ Partial order semantics Dr. Daniel Moldt Alle Videos...
27 Informatik WiSe 13/14 Formale Grundlagen der Informatik II Prof. Dr. Rüdiger Valk, Dr. Daniel Moldt 19.12.2013 20 - Datenbank - Manager; Alternierprotokoll Dr. Daniel Moldt 17.12.2013 19 - Renew (Wdh.); Bankiersproblem Dr. Daniel Moldt 12.12.2013 18 - Renew; Workflow Dr. Daniel Moldt 10.12.2013 17 - Strukturelle Eigenschaftem von Systemverifikationen Dr. Daniel Moldt 05.12.2013 16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen Dr. Daniel Moldt 03.12.2013 15 - Fairness; Zustandsraumexplosion Dr. Daniel Moldt 28.11.2013 14 - Entscheidbarkeitsproblem Dr. Daniel Moldt 26.11.2013 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) Dr. Daniel Moldt 21.11.2013 12 - Elementare Systemeigenschaften von P/T-Netzen Dr. Daniel Moldt 19.11.2013 11 - Verfeinerung / Vergrößerung Dr. Daniel Moldt 14.11.2013 10 - Partial order semantics / Petrinetze Dr. Daniel Moldt 12.11.2013 9 - Synchrone Produkte Dr. Daniel Moldt Alle Videos...
28 Informatik WiSe 11/12 Formale Grundlagen der Informatik II Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 31.01.2012 27 - KKN, CPN, Datenbankmanager, Renew Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 26.01.2012 26 - Parallele Algorithmen, Paralleles Suchen und Mischen Dr. Daniel Moldt 24.01.2012 25 - Parallele Maschinen Dr. Daniel Moldt 19.01.2012 24 - Workflow, Bankiersproblem Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 17.01.2012 23 - Workflow, KKN Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 12.01.2012 22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden. Dr. Daniel Moldt 10.01.2012 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2 Dr. Daniel Moldt 10.01.2012 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1 Dr. Daniel Moldt 22.12.2011 20 - Fairness, partial order semantics Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 25.10.2011 3 - Äquivalenz von Systemen Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 20.10.2011 2 - Büchi Automaten Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier Alle Videos...