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

151.
Oravec, Roman
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení kyberbezpečnosti
Obhajoba diplomové práce: Modern obfuscation techniques | Práce na příbuzné téma Zobrazit popisek

152.
Pál, Karol
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: Sdílená pracovní plocha | Práce na příbuzné téma

153.
Pálenik, Jakub Jozef
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Zpracování obrazu
Obhajoba diplomové práce: Hierarchická segmentace biomedicínských obrazů s využitím matematické morfologie | Práce na příbuzné téma

154.
Paulovčáková, Miroslava
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: The Analysis of Conceptual Metaphor in the Young Adult Magazine Discourse | Práce na příbuzné téma

155.
Peterka, Ivo
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: 3D vizualizace meteorologických dat | Práce na příbuzné téma

156.
Pokorný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Algoritmy pro výpočet jemných stínů | Práce na příbuzné téma

157.
Polišenský, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Software k AD převodníku firmy National instruments | Práce na příbuzné téma

158.
Polišenský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Hra se světlem v enginu OptiX | Práce na příbuzné téma

159.
Pomahačová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Étude morphosyntaxique et sémantique de la négation en français | Práce na příbuzné téma

160.
Poprocká, Michaela
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Norský jazyk a literatura
Obhajoba bakalářské práce: Semantics of covaluation expressions: truth value judgment task | Práce na příbuzné téma

161.
Priatelová, Martina
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Theoretical Approaches to Prototype Theory | Práce na příbuzné téma

162.
Procházka, Jiří
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: Síťová implementace hry Tunneler | Práce na příbuzné téma

163.
Procházka, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Kolaborativní editor 3D scény | Práce na příbuzné téma

164.
Puchar, Adam
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: TEXTOVÉ OBRAZY (znakové systémy v obraze / písmo v obraze) | Práce na příbuzné téma

165.
Režný, Pavel
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Memory managemet in C++ | Práce na příbuzné téma
Obhajoba bakalářské práce: Memory managemet in C++ | Práce na příbuzné téma

166.
Rozum, Peter
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Vizuální reprezentace databázového schématu relační databáze | Práce na příbuzné téma

167.
Říhová, Pavlína
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Sémantická klasifikace subjektu | Práce na příbuzné téma

168.
Salašová, Petra
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství německého jazyka
Obhajoba diplomové práce: Aspekte der Übersetzung in Ransmayrs Roman Die letzte Welt | Práce na příbuzné téma

169.
Sedlák, Miroslav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: C++ Unit testing frameworks | Práce na příbuzné téma

170.
Sedlář, Lubomír
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Práce na příbuzné téma

171.
Selezneva, Dariia
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná jazykověda / Obecná jazykověda
Obhajoba bakalářské práce: Predicates and positive polarity: experimental study | Práce na příbuzné téma

172.
Shyshkina, Hanna
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulace chování NMR v cloudu | Práce na příbuzné téma

173.
Skoumalová, Barbora
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie, Sociologie
Obhajoba bakalářské práce: Analýza textu pomocí systému významu | Práce na příbuzné téma

174.
Smurova, Sofiya
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Obecná jazykověda
Obhajoba bakalářské práce: Etymologie ptačích jmen v češtině a ruštině | Práce na příbuzné téma

175.
Sojka, Ondřej
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk se zaměřením na vzdělávání, Dějepis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Analysis of religious language in texts from the Bible | Práce na příbuzné téma

176.
Spáčilová, Hana
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství francouzského jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: La langue pensée, c est-à-dire orale, contre la langue des dictionnaires | Práce na příbuzné téma

177.
Stana, Ivan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Využití knihovny FreeLing pro češtinu | Práce na příbuzné téma

178.
Steinerová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: "L'écume des jours" de Boris Vian : progressions thématiques et graphes sémantiques | Práce na příbuzné téma

179.
Stibor, Daniel
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Biometrická registrace otisků prstů | Práce na příbuzné téma

180.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura, Španělský jazyk a literatura
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma

181.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy, Učitelství španělského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Negativní shoda v současné češtině | Práce na příbuzné téma

182.
Strachoňová, Hana
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Obecná jazykověda
Obhajoba disertační práce: Česká free choice indefinita | Práce na příbuzné téma

183.
Stupka, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Grafický engine na základech OpenGL pro podporu 3D animací | Práce na příbuzné téma

184.
Surovčák, Martin
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Novořecký jazyk a literatura
Obhajoba diplomové práce: Neslovesné prostorové výrazy v novořečtině | Práce na příbuzné téma

185.
Szmek, Petr
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Nástroj na úpravu programů v C++

186.
Šafratová, Iveta
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Postnominální druhová adjektiva v češtině | Práce na příbuzné téma

187.
Šafratová, Iveta
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura, Obecná jazykověda
Obhajoba diplomové práce: Negace, NPI a pravděpodobnost: experimentální studie | Práce na příbuzné téma

188.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma

189.
Šimek, Miloš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Práce na příbuzné téma

190.
Šimková, Markéta
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba bakalářské práce: Semantic and Style Shifting in Czech Translations of English Romantic Poetry | Práce na příbuzné téma

191.
Šír, Marek
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Phonological and graphetic aspects of French loans in English with regard to their semantic properties | Práce na příbuzné téma

192.
Šmídová, Anna
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: Faire une manif depuis son canap : observations sur les propriétés linguistiques et sur la dynamique de la troncation en français contemporain | Práce na příbuzné téma

193.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

194.
Špiříková, Helena
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Classification of the Question: English and Czech Comparison | Práce na příbuzné téma

195.
Šrom, 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: Knihovna tříd pro visuální reprezentaci a editaci diagramů | Práce na příbuzné téma

196.
Štichová, Lada
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Language of YouTube Beauty Video Titles | Práce na příbuzné téma

197.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma

198.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma

199.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma

200.
Štourač, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: 3D editor for the RoFI platform | Práce na příbuzné téma