Universität Hamburg

Videokatalog

Sortieren nach Titel Sortieren nach Datum

27

Miniaturansicht - 27 - PRAM

Informatik WiSe 13/14

Formale Grundlagen der Informatik II

Prof. Dr. Rüdiger Valk, Dr. Daniel Moldt

2

Miniaturansicht - 3 - Model Checking

Informatik WiSe 12/13

Formale Grundlagen der Informatik II

Prof. Dr. Rüdiger Valk

26

Miniaturansicht - 26 - Parallele Algorithmen

Informatik WiSe 14/15

Formale Grundlagen der Informatik 2

Dr. Daniel Moldt, Prof. Dr. Rüdiger Valk