Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

formulas

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 17 prací)
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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 / | Práce na příbuzné téma

,,Na každú Sviňu sa voda varí“: Politainmentové rámce, žánrové vzorce a modálne nastavenia vo filme Sviňa
 (Tatiana Pavolková)

2024, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/w0p1a/ | Teorie a dějiny filmu a audiovizuální kultury / | Práce na příbuzné téma

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 | Práce na příbuzné téma

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ě / | Práce na příbuzné téma

Grafická reprezentace formulí logiky CTL
 (Alena Goljerová)

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

https://is.muni.cz/th/b8kxm/ | Aplikovaná informatika / | Práce na příbuzné téma

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 | Práce na příbuzné téma

« 1 2 » (celkem 17 prací)