Theses on the same topic (having an identical keyword):
formulasKeywords ordered alphabetically | Keywords ordered by occurrence rate
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
(Martin Jonáš)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cg101/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Las fórmulas de cortesía en el acto de habla expresivo
(Kristýna Janíčková)2010, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/bmoto/ | Učitelství pro střední školy / Učitelství španělského jazyka a literatury pro střední školy | Theses on a related topic
Las fórmulas de cortesía en el acto de habla expresivo
(Kristýna Janíčková)2010, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/wd8ms/ | Filologie / Španělský jazyk a literatura | Theses on a related topic
Speciální formule pro numerický výpočet integrálu.
(Branislav Potocký)2016, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/ghniq/ | Matematika / Obecná matematika | Theses on a related topic
Speciální kvadraturní formule
(Klára Lucie Benešová)2023, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/xcsli/ | Matematika / | Theses on a related topic
Rozpočtový proces a hospodaření obcí v kontextu rozpočtových pravidel, srovnání hospodaření tří obcí
(Iveta Drazdíková)2024, Bakalářská práce, AMBIS vysoká škola, a.s.
• https://is.ambis.cz/th/g3q13/ | Management a hospodaření ve veřejné správě / | Theses on a related topic
Aplikace důchodových vzorců
(Nikola Tomancová)2022, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/vi3m8/ | Matematika / Finanční a pojistná matematika | Theses on a related topic
Grafická reprezentace formulí logiky CTL
(Alena Goljerová)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/b8kxm/ | Aplikovaná informatika / | Theses on a related topic
Arengy listin v českém státě do roku 1283 (Formule ve světle ars dictaminis)
(Martina Smolová)2018, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/o1x21/ | Historické vědy (čtyřleté) / Pomocné vědy historické | Theses on a related topic
Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
(Samuel Pastva)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/slugu/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic