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

semantics, k framework, constant expressions, formal semantics, c++, formal methods, enumerations, initialization

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

101.
Kostina, Iryna
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství ruského jazyka pro základní školy
Obhajoba diplomové práce: Leksiko-semantičeskij analiz varvarizmov v sovremennom russkom jazyke (na primere žurnala Vogue za period oktjabr 2019 - fevral 2020) | Práce na příbuzné téma Zobrazit popisek

102.
Kovaříková, Martina
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Ruský jazyk a literatura
Obhajoba bakalářské práce: Vyjádření podmínky v ruském a českém jazyce | Práce na příbuzné téma

103.
Kramec, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Java API pro dotazovací rozhraní služby EGEE LB | Práce na příbuzné téma

104.
Krč, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj na úpravu programů v C++

105.
Krejčí, Tereza roz. Moudrá
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - ruský jazyk
Obhajoba bakalářské práce: Sémantika ruského slovesa „igrať" s prefixy ve srovnávacím rusko-českém aspektu | Práce na příbuzné téma

106.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

107.
Kuba, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: SEAGRIN: Grid Infrastructure for Sharing Medical Knowledge | Práce na příbuzné téma

108.
Kubík, Marcel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro detekci formátu souborů | Práce na příbuzné téma

109.
Kučera, Adam
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Semantics-Driven Middleware Layer for Building Operation Analysis in Large-Scale Environments | Práce na příbuzné téma

110.
Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma

111.
Kučeráková, Lucie roz. Korešová
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Compound nouns related to healthy lifestyle, fitness and diet | Práce na příbuzné téma

112.
Kudlová, Mária
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba bakalářské práce: Intensificadores en conversaciones coloquiales | Práce na příbuzné téma

113.
Kuchyňová, Vendula
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Počítačová grafika a vizualizace
Obhajoba diplomové práce: Detection of Isosurfaces in Volumetric Data | Práce na příbuzné téma

114.
Kulíšek, Samuel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Formal representation of graphical models of biological systems | Práce na příbuzné téma

115.
Kunovský, Adam
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk se specializací počítačová lingvistika
Obhajoba diplomové práce: Sémantické třídy českých sloves | Práce na příbuzné téma

116.
Kuric, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zapojení 3D prohlížeče obrazů do Matlabu | Práce na příbuzné téma

117.
Lakomý, Bedřich
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafický konfigurátor monitorů pro Linux | Práce na příbuzné téma

118.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma

119.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma

120.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma

121.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma

122.
Liberová, Iva
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro migraci programů v Delphi do jazyka C++ | Práce na příbuzné téma

123.
Lipták, Dušan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Vykreslování molekulárních dat ve vysoké kvalitě | Práce na příbuzné téma

124.
Líška, Martin
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Building the Ultimate Math Search Engine | Práce na příbuzné téma

125.
Lomič, Ondřej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Replacing Logstash | Práce na příbuzné téma

126.
Mach, Tomáš
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Německý jazyk a literatura
Obhajoba bakalářské práce: Lexical Priming as an Approach to Meaning Analysis: The Case of Adverb Modifiers of Verbs in the Troponymical Relation | Práce na příbuzné téma

127.
Malá, Renáta
Fakulta: Filozofická fakulta
Rok: 2022, studium neúspěšně ukončeno
Program/obor Český jazyk a literatura / Jazykovědná bohemistika
Obhajoba diplomové práce: Sémantické zpracování slovesných prefixů pro potřeby češtiny jako cizího jazyka | Práce na příbuzné téma

128.
Matouš, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Metody fyzikálně založeného vykreslování pracující v reálném čase | Práce na příbuzné téma
Obhajoba diplomové práce: Metody fyzikálně založeného vykreslování pracující v reálném čase | Práce na příbuzné téma

129.
Matscheová, Denisa
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Internal Semantic Structure of a Selected Group of English Verbs | Práce na příbuzné téma

130.
Melkusová, Zuzana
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Rozvoj slovní zásoby u dětí předškolního věku | Práce na příbuzné téma

131.
Meravý, Ján
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Letecká simulace v prostředí virtuální reality | Práce na příbuzné téma

132.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Serializace a C++ | Práce na příbuzné téma

133.
Michálek, Marek
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Filozofie / Anglický jazyk a literatura, Filozofie
Obhajoba bakalářské práce: Intuicionistic Type Theory and its Application to Natural Language | Práce na příbuzné téma

134.
Miklíčková, Olga
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - ruský jazyk
Obhajoba bakalářské práce: Pristavki russkogo glagola platiť v sopostavitělnom russko-češskom aspektě | Práce na příbuzné téma

135.
Mišenko, Pavol
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Program analysis using interval abstraction and backward refinement | Práce na příbuzné téma

136.
Moncmanová, Andrea
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Nizozemský jazyk a literatura
Obhajoba bakalářské práce: Liefde en verstand in vaste verbindingen in het Nederlands en het Tsjechisch. Een formeel- en cognitief-semantische vergelijking. | Práce na příbuzné téma

137.
Mráz, Michal
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Česká literatura
Obhajoba disertační práce: Vlastní jména ve fikci | Práce na příbuzné téma

138.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

139.
Nasirinia, Mohammadehsan
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor English Language and Literature / English Language and Literature
Obhajoba bakalářské práce: On the Language of TV Shows: Wordplay in Rick and Morty | Práce na příbuzné téma

140.
Navrátil, Michal
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Parser pro převod scén z POV-Ray do ESG | Práce na příbuzné téma

141.
Němcová, Vendula
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Vizuální informatika / Vývoj počítačových her
Obhajoba diplomové práce: Procedural generation of flower pigmentation patterns | Práce na příbuzné téma

142.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Lazy object initialization support in KLEE | Práce na příbuzné téma

143.
Nováková, Soňa
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Analyses de textes de chansons de Serge Gainsbourg | Práce na příbuzné téma

144.
Novotná, Patricie
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství ruského jazyka pro základní školy / Učitelství anglického jazyka pro základní školy, Učitelství ruského jazyka pro základní školy
Obhajoba diplomové práce: Leksiko-semantičeskij analiz anglicizmov v russkom jazyke (na primere vybrannych publicističeskich statěj s těmatikoj "turizm") | Práce na příbuzné téma

145.
Novotná, Pavlína
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - německý jazyk
Obhajoba bakalářské práce: Tschechische Somatismen (Hals, Ohr, Zahn, Zunge, Auge) im deutschen Vergleich | Práce na příbuzné téma

146.
Novotná, Tereza
Fakulta: Filozofická fakulta
Rok: 2023, studium neúspěšně ukončeno
Program/obor Počítačová lingvistika / Počítačová lingvistika, Teorie interaktivních médií
Obhajoba bakalářské práce: Sémantické ukotvení předložkových frází | Práce na příbuzné téma

147.
Ondrejovičová, Katarína
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba diplomové práce: Procedimientos de intensificación en el español coloquial | Práce na příbuzné téma

148.
Ondrejovičová, Katarína
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství španělského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Procedimientos de intensificación en el español coloquial | Práce na příbuzné téma

149.
Onoeva, Mariia
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Inferential behavior of degree achievements: an experimental study | Práce na příbuzné téma

150.
Opavský, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Discourse Analysis of smartphone TV advertisements: From the introduction of an iPhone to the present day | Práce na příbuzné téma