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

1.
Cvetkova, Zornica Cvetanova
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filologie (čtyřleté) / Paleoslovenistika a slovanské jazyky
Obhajoba disertační práce: Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky | Práce na příbuzné téma Zobrazit popisek

2.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma

3.
Lesičko, Tomáš
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: C++14 - mapping between the standard and a formal semantics | Práce na příbuzné téma

4.
Babický, Vlastimil
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: Análisis léxico-semántico de las pintadas políticas recogidas en la Universidad de Castellón | Práce na příbuzné téma

5.
Babič, Petr
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Shader graph module for Age | Práce na příbuzné téma

6.
Bachratý, Adam
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Pravdivost informace | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Práce na příbuzné téma
Obhajoba bakalářské práce: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Práce na příbuzné téma

7.
Balcerčíková, Jana
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Francouzský jazyk a literatura
Obhajoba bakalářské práce: Les dérivés en -esque : propriétés morphosyntaxiques et sémantiques | Práce na příbuzné téma

8.
Balík, Daniel
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: 3D rekonstrukce a vizualizace zubních lišt | Práce na příbuzné téma

9.
Baran, Dušan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Flow exporter for cloud environment | Práce na příbuzné téma

10.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

11.
Bártek, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Realizace Rabinovy hry na konečných grafech | Práce na příbuzné téma

12.
Bartošek, Jan
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v C/C++ | Práce na příbuzné téma

13.
Bartošová, Dominika
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Práce na příbuzné téma

14.
Bartošová, Dominika
Fakulta: Filozofická fakulta
Rok: 2016, 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
Obhajoba diplomové práce: Sémantika českých názvů pece, pečení a pečených kulinářských výrobků | Práce na příbuzné téma

15.
Bayer, Jaroslav
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: Nástroj pro automatickou tvorbu elektronické dokumentace pro programy v C++ | Práce na příbuzné téma

16.
Beľa, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vulkan displej pre UltraGrid | Práce na příbuzné téma

17.
Bělecká, Veronika
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Chorvatský jazyk a literatura
Obhajoba bakalářské práce: Frazeologie v románu Anteho Tomiće Što je muškarac bez brkova a v jeho českém překladu | Práce na příbuzné téma

18.
Bém, Petr
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Firmware for RoFICoM | Práce na příbuzné téma

19.
Benčo, Filip
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Sestavování a vizualizace nábytkových souprav | Práce na příbuzné téma

20.
Beneš, Nikola
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: Disjunctive Modal Transition Systems | Práce na příbuzné téma

21.
Blahut, Libor
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: Intention Frame: A Semantic Spectrum from Permission to Coercion | Práce na příbuzné téma

22.
Blaškovičová, Katarína roz. Šodorová
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba diplomové práce: Terminología de fútbol | Práce na příbuzné téma
Obhajoba diplomové práce: Terminología de fútbol | Práce na příbuzné téma

23.
Bobrzyková, Olga
Fakulta: Pedagogická fakulta
Rok: 2016, 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í a jazykové školy
Obhajoba diplomové práce: Neologismy v poezii V. Chlebnikova. Stylistické použití. | Práce na příbuzné téma

24.
Bouda, Ondřej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Refactoring of Sequence Chart Studio | Práce na příbuzné téma

25.
Bráblík, František
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro animaci grafu měnícího se v čase | Práce na příbuzné téma

26.
Brantálová, Michaela
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Les énoncés exclamo-négatifs : analyse sémantique et syntaxique | Práce na příbuzné téma

27.
Burianová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Učitelství pro základní školy / Učitelství cizích jazyků pro základní školy - němčina
Obhajoba bakalářské práce: Slovesa s odlučitelnou a / nebo neodlučitelnou předponou | Práce na příbuzné téma

28.
Burianová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Verben mit dem trennbaren und / oder untrennbaren Präfix | Práce na příbuzné téma

29.
Cisko, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma
Obhajoba diplomové práce: 3d interaktivní počítačová hra pro děti předškolního věku | Práce na příbuzné téma

30.
Demianenko, Daria
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Německý jazyk a literatura / Německá jazykověda
Obhajoba diplomové práce: Modalverben im Deutschen in diachroner Perspektive. Eine Skizze anhand des Werkes Ackermann aus Böhmen | Práce na příbuzné téma

31.
Denysenko, Anna
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Obecná jazykověda
Obhajoba diplomové práce: Názvy domácích zvířat v ruštině, ukrajinštině, češtině a angličtině | Práce na příbuzné téma

32.
Dočekal, Mojmír
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba rigorózní práce: Vázané proměnné v češtině (teze disertační práce) | Práce na příbuzné téma

33.
Dočekalová, Lenka
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Stative Verbs with the Progressive | Práce na příbuzné téma

34.
Dosedlová, Aneta
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba bakalářské práce: Semantic Description of Numeral Classifiers ke and zhu in Mandarin Chinese: A Corpus-based Analysis | Práce na příbuzné téma

35.
Dosedlová, Aneta
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní teritoriální studia / Kulturní studia Číny
Obhajoba diplomové práce: Semantics and synonymy of selected numeral classifiers of categories of plants and animals | Práce na příbuzné téma

36.
Doskočil, Patrik
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Explikační síla teorie fikčních světů | Práce na příbuzné téma

37.
Dosoudil, 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: Automatizovaný nástroj pro databázovou synchronizaci | Práce na příbuzné téma

38.
Durčák, Lukáš
Fakulta: Fakulta informatiky
Rok: 2016, 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: Implementace ZRTP v C++ | Práce na příbuzné téma

39.
Dvorský, Štěpán
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Replicas of reverse-engineered classes in C++ | Práce na příbuzné téma

40.
Faltýnková, Michaela
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Český jazyk a literatura, Historie
Obhajoba bakalářské práce: Prostorová slovesa s inkorporací lokativních argumentů | Práce na příbuzné téma

41.
Faltýnková, Michaela
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Humanitní studia / Český jazyk a literatura, Historie
Obhajoba diplomové práce: The morphosyntax of the Czech "purpose adjective:" an infinitive in disguise | Práce na příbuzné téma

42.
Feichtinger, František
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: Modul pro zadávání příčných řezů | Práce na příbuzné téma

43.
Feranec, Adam
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Analysis of C++ build time optimizations for MSBuild | Práce na příbuzné téma

44.
Foltín, Matúš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Aplikace pro podporu automatické konverze rastrových obrázků | Práce na příbuzné téma

45.
Friedrich, Matouš
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Namen der Ortschaften in der Umgebung der Stadt Neuhaus | Práce na příbuzné téma

46.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma

47.
Glaubaufová, Lenka
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Passive Voice from a Semantico-Syntactic Perspective | Práce na příbuzné téma

48.
Gracík, Martin
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: Sdílená pracovní plocha | Práce na příbuzné téma

49.
Gregar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Semantics Visualization and Visual Semantics: in E-learning and other Applications | Práce na příbuzné téma

50.
Gregar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Zvýšení kvality elektronické podpory výuky pomocí využití sémantických informací o grafických datech | Práce na příbuzné téma