Výsledky hledání pro autora

1

Obálka

On Extensions of Process Rewrite Systems

Autor Řehák, Vojtěch, 1979-
Vydáno 2007

Elektronická verze přístupná pouze pro studenty a pracovníky MU

VŠ práce nebo rukopis

2

Obálka

Stochastic real-time systems : parameter synthesis and games /

Autor Řehák, Vojtěch, 1979-
Vydáno 2018

VŠ práce nebo rukopis

3

Obálka

Probability in computer science : IV111 /

Autor Řehák, Vojtěch, 1979-
Vydáno 2019

Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

4

Obálka

System verification and assurance : IA169 /

Autor Řehák, Vojtěch, 1979-, Barnat, Jiří, 1977-
Vydáno 2019

Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha