Search results
- Stochastické a pravdepodobnostné Petriho siete / aut. Ján Plevko ; škol. Jana Flochová
Plevko Ján Flochová Jana ; 066000 (Thesis advisor)
2009 Bratislava STU v Bratislave FIIT . - 91 s. obsahuje CD
Petriho siete
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 
book
- Konštrukcia Buchiho automatov z formúl logiky LTL
Plevko Ján ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 61 s
Aplikovaná informatika Applied Infromatics verifikačné protokoly
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71860
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book