Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

temporal properties

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

List of theses with an identical keyword.

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 / | Theses on a related topic

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 / | Theses on a related topic

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 / | Theses on a related topic

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

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 / | Theses on a related topic

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 | Theses on a related topic

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ů | Theses on a related topic