Stochastic real-time systems : parameter synthesis and games /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Řehák, Vojtěch, 1979- (Autor práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 2018
Témata:
pravděpodobnostní metody
stochastické programování
výpočetní technika
computer science
probabilistic methods
stochastic programming
habilitační práce
habilitation thesis
Obálka
Popis
Fyzický popis:x, 190 stran

Podobné jednotky