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:
Obálka
LEADER 01699ntm a22004457i 4500
001 MUB01006482689
003 CZ BrMU
005 20210603134412.0
008 210603s2018 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2021-09-19 
040 |a BOD018  |b cze  |e rda 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 007+004  |2 MRF 
080 |a 519.856  |2 MRF 
080 |a 519.21  |2 MRF 
100 1 |a Řehák, Vojtěch,  |d 1979-  |7 mub2013778372  |4 dis 
245 1 0 |a Stochastic real-time systems :  |b parameter synthesis and games /  |c Vojtěch Řehák 
264 0 |c 2018 
300 |a x, 190 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
650 0 7 |a pravděpodobnostní metody  |7 ph220676  |2 czenas 
650 0 7 |a stochastické programování  |7 ph238372  |2 czenas 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a probabilistic methods  |2 eczenas 
650 0 9 |a stochastic programming  |2 eczenas 
655 7 |a habilitační práce  |7 fd185153  |2 czenas 
655 9 |a habilitation thesis  |2 eczenas 
CAT |a VESELA  |b 02  |c 20210603  |l MUB01  |h 1342 
CAT |a VESELA  |b 02  |c 20210603  |l MUB01  |h 1344 
CAT |c 20210614  |l MUB01  |h 1040 
CAT |c 20210614  |l MUB01  |h 2026 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1323 
CAT |c 20210919  |l MUB01  |h 1453 
LOW |a POSLANO DO SKCR  |b 2021-09-19 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 FI  |a Fakulta informatiky  |3 Habil. práce 2018  |5 42005D2718  |8 20210603  |f 72  |f Týdenní  |r 20210603 
AVA |a INF50  |b FI  |d Habil. práce 2018  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0