Práce na stejné téma (mají shodná klíčová slova):
temporal propertiesKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
Temporal attribute implications
(Jan TŘÍSKA)2018, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//5x5ue2// | Informatika / | Práce na příbuzné téma
Expressiveness and Model Checking of Temporal Logics
(Jan Strejček)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zx2ly/ | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxz9s/ | Informatika / | Práce na příbuzné téma
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 | Práce na příbuzné téma
Data filtration methods of field weighing lysimeters with high temporal resolution for soil water balance components determination
(Faisal Zeidalkilani)2020, Diplomová práce, Fakulta agrobiologie, potravinových a přírodních zdrojů / Česká zemědělská univerzita v Praze
• http://theses.cz/id//a2p7d4// | Natural Resources and Environment / | Práce na příbuzné téma
Specification and monitoring of oscillation properties in dynamical systems
(Petr Dluhoš)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zsgyq/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
The behaviour and fate of potentially toxic elements of anthropogenic origin in the environment, as influenced by soil properties and various leaching solvents
(Christopher Ash)2016, Disertační práce, Fakulta agrobiologie, potravinových a přírodních zdrojů / Česká zemědělská univerzita v Praze
• http://theses.cz/id//9wksxm// | Zemědělská specializace / Využití a ochrana přírodních zdrojů | Práce na příbuzné téma