Brázdil, Tomáš* Dotaz Zobrazit nápovědu
1
záznamů v
Autoři
Narozen 1979. Doc. RNDr., Ph.D., informatik, práce z teorie programování, neuronových sítí a o aplikaci stochastických metod v informatice.
-
- Země
- Česko
- Obor informatika, programování,
Fakulta informatiky Masarykova univerzita Brno
Verification of Probabilistic Recursive Sequential Programs. 2007
www(Masarykova univerzita, Fakulta informatiky), cit. 20. 8. 2013
Sdílet
Název dokumentu
Po ukončení testovacího provozu bude odkaz přesměrován adresu produkční verze portálu Medvik.