Browsing Institut für Informatik by Subject
Now showing items 21-40 of 134
Subject |
---|
controller synthesis [1] |
Corpus linguistics [1] |
Correctness [1] |
Database Systems [1] |
Datenbanksysteme [1] |
Daubechies wavelets [1] |
DAWN [1] |
dependability [1] |
discrete time [1] |
Distributed Algorithms [1] |
e-services technology [1] |
Entwurf [1] |
ExOR [1] |
Extended Petri Net [1] |
failure prediction [2] |
failure prediction distributed real-time systems [1] |
fault injection [1] |
fault taxonomy [1] |
flexible arcs [1] |
Formal Methods [2] |