ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Formal analysis"
Formal analysis
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Formální analýza národních odborných časopisů na příkladu didaktiky biologie a pedagogiky
2022 |
Přírodovědecká fakulta
publication
Jak najít optimální překlad polysémních sloves - porovnání metod automatické analýzy paralelních textů
2015 |
Filozofická fakulta
publication
Měření laterality mozečku.
Publikace bez příslušnosti k fakultě
publication
Sochy v zámeckém parku v Lysé nad Labem : Možnosti využití metod stavebně historického průzkumu při posuzování datace a autorství sochařských děl v konfrontaci s využitím formální analýzy a srovnání při hledání jejich inspiračních zdrojů
2016 |
Filozofická fakulta
publication
Integrating Formal Methods into Medical Software Development: the ASM approach
2018 |
Matematicko-fyzikální fakulta
publication
Transforming Babylon into Jerusalem: Chronology and dating of the architectural sculpture of the Church of Our Lady before Týn in the days of the Luxembourgs. in: Umění, 2015, sv. 4/2015
2015 |
Filozofická fakulta, Katolická teologická fakulta
publication
'Padám k nohám svého pána...': Zdravicí formule v akkadských dopisech z Ugaritu
2002 |
Filozofická fakulta
publication
Zuření a humor Iva Vodseďálka
2011 |
Filozofická fakulta
publication
Na okraj Dnů plných usínání
2016 |
Filozofická fakulta
publication
Socha sv. Václava ve Svatováclavské kapli
2010 |
Publikace bez příslušnosti k fakultě
publication
Ukřižovaný Kristus ze Zašové
2008 |
Filozofická fakulta
publication
Ukřižovaný Kristus ze Zašové
2008 |
Katolická teologická fakulta
publication
CHRISTMAS MUSIC - CZECH PASTORELLAS (analysis of J. J. Ryba's works)
Publikace bez příslušnosti k fakultě
publication
Užívání zvukomalebných slov v mluvené mongolštině.
2011 |
Filozofická fakulta
publication
Inventura díla Mistra Briccii v Kutné Hoře
2007 |
Katolická teologická fakulta
publication
Drávidský a altajský 'horký-oheň-horko' (DEDR 1458 a příbuzné etymony s náslovným k-/g-).
2001 |
Filozofická fakulta
publication
The Question of Proto-Indo-European Inheritance in Latin Word Formation
2017 |
Filozofická fakulta