Zpět na vyhledávání

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

refinement

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Efficient Abstraction Refinement for BDD-based SMT Solvers
 (Tereza Schwarzová)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/j6pbe/ | Teoretická informatika / Formální analýza počítačových systémů | Theses on a related topic

List of theses with an identical keyword.

Program analysis using interval abstraction and backward refinement
 (Pavol Mišenko)

2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/v01cf/ | Informatika / | Theses on a related topic

Avalanche hazard in the Krkonoše mountains and refinement of snow data collection methods
 (Markéta Součková)

2024, Disertační práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze

• http://theses.cz/id//9gnj1x// | Krajinné inženýrství / Environmentální modelování | Theses on a related topic

GPU akcelerace spojitého zpřesňování natočení obrázků v Xmipp
 (Martin Pernica)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/bkn86/ | Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat | Theses on a related topic

Kultivovanost mluveného vyjadřování v publicistických rozhovorech se sportovci
 (Lucie Hromádková)

2015, Diplomová práce, Pedagogická fakulta / Masarykova univerzita

• https://is.muni.cz/th/scvsv/ | Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy Učitelství českého jazyka a literatury pro základní školy | Theses on a related topic