Theses on the same topic (having an identical keyword):
temporalni vlastnostiKeywords ordered alphabetically | Keywords ordered by occurrence rate
Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů
(Petr Horáček)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p60he/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Ověřování temporálních vlastností konečných běhů programů
(Petra Sečkařová)2019, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//7h2his// | Informační technologie / | Theses on a related topic
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Výskyt temporální fauny v pramenných vývěrech oblasti Lužického zlomu
(Veronika Paloušová)2019, Bakalářská práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//gmqa8p// | Krajinářství / Vodní hospodářství | Theses on a related topic
Čas v počítačových hrách: Vztah temporální struktury a subjektivního vnímání času
(Jiří Grummich)2012, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/cx7xa/ | Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií | Theses on a related topic
Visual Specification of Temporal Properties over Time Series
(Tomáš Vejpustek)2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hnk9a/ | Informatika / Matematická informatika | Theses on a related topic
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
(Jana Tůmová)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n10ay/ | Aplikovaná informatika / | Theses on a related topic
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Theses on a related topic
Analýza temporálních sítí
(David Podermański)2017, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119011 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Modelování a verifikace platebního systému
(Marharyta Zhuk)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Theses on a related topic