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

trie, static analysis, abstract domain, suffix, abstract interpretation, string, prefix

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

1.
Brukner, Tomáš
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: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma Zobrazit popisek

2.
Dovrtělová, Markéta
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba diplomové práce: Problematik der Übersetzung von nominalen Komposita in Texten aus dem Bereich der deutschen Rechtssprache | Práce na příbuzné téma

3.
Dovrtělová, Markéta
Fakulta: Filozofická fakulta
Rok: 2009, 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: Problematik der Übersetzung von nominalen Komposita in Texten aus dem Bereich der deutschen Rechtssprache | Práce na příbuzné téma

4.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma

5.
Jakovcová, Julie
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í, Ruský jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Slovotvorný potenciál ruských sloves pisať, čitať, govoriť a jejich českých ekvivalentů psát, číst, mluvit | Práce na příbuzné téma

6.
Kuňáková, Tereza
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Ruský jazyk se zaměřením na vzdělávání / Matematika se zaměřením na vzdělávání, Ruský jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Tvorba substantiv v učebnici ruštiny pro Čechy Tvoj šans (úroveň A2) | Práce na příbuzné téma

7.
Olliaro, Martina
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Computer Science / Fundamentals of Computer Science
Obhajoba disertační práce: String Analysis for Software Verification | Práce na příbuzné téma

8.
Slabý, Jiří
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma

9.
Baranová, Zuzana
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: Static Analyser for BeakerLib Tests | Práce na příbuzné téma

10.
Beranová, Alexandra
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Palatalizující sufixy v současné češtině: palatalizace v kontextu nepředních vokálů | Práce na příbuzné téma

11.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma

12.
Brummerová, Nikola
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Ruský jazyk a literatura
Obhajoba diplomové práce: Valenční vlastnosti sloves pohybu v ruštině (v porovnání s češtinou) | Práce na příbuzné téma

13.
Brychová, Michaela
Fakulta: Pedagogická fakulta
Rok: 2017, 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: Konkurrenz der Diminutive mit -chen und -lein | Práce na příbuzné téma

14.
Bursáková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2014, 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: Deutsche Diminutive auf -chen und -lein und ihre Äquivalente im Tschechischen und Spanischen | Práce na příbuzné téma

15.
Čadek, Pavel
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Symbolic Loop Bound Analysis | Práce na příbuzné téma

16.
Čadová, Zuzana
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba bakalářské práce: Formación de sustantivos de cualidad en el espańol actual. Norma y uso de sufijos deadjetivales | Práce na příbuzné téma
Obhajoba bakalářské práce: Sufijos de la nominalización deadjetival en el español actual | Práce na příbuzné téma

17.
Čupr, Kamil
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky | Práce na příbuzné téma

18.
Dufková, Dagmar
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Baltistika
Obhajoba bakalářské práce: Slovesné předpony v litevštině | Práce na příbuzné téma

19.
Dufková, Dagmar
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Baltistika
Obhajoba diplomové práce: Slovesné předpony a slovesný vid v litevštině | Práce na příbuzné téma

20.
Fekiačová, Jarmila
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: Flexion und Wortbildung von Fremdwörtern im Deutschen | Práce na příbuzné téma

21.
Formánek, David
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Práce na příbuzné téma

22.
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

23.
Fujtík, Ondřej
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zjišťování podobnosti malware | Práce na příbuzné téma

24.
Glozar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Enhancing DiffKemp to Support Generic Projects | Práce na příbuzné téma

25.
Hájková, Kristýna
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Tvoření hypokoristik | Práce na příbuzné téma

26.
Halas, Filip
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: Efektivní vyhledávání více vzorů v logovacích záznamech v jazyce Go | Práce na příbuzné téma

27.
Hančuľák, Radovan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Security Analysis of an Existing Web Application | Práce na příbuzné téma

28.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma

29.
Janků, Lucie
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Český jazyk / Český jazyk
Obhajoba disertační práce: The Nanosyntax of Czech Nominal Declension | Práce na příbuzné téma

30.
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

31.
Kabeláčová, Tereza
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Baltistika
Obhajoba diplomové práce: Deminutiva v litevštině | Práce na příbuzné téma

32.
Kaplanová, Veronika
Fakulta: Filozofická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Španělský jazyk a literatura
Obhajoba bakalářské práce: Clasificación de los sufijos apreciativos españoles y su uso en el cuento de hadas Blancanieves y los siete enanitos gigantes | Práce na příbuzné téma

33.
Kaválková, Renata
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura, Nizozemský jazyk a literatura
Obhajoba bakalářské práce: Semantische Leistung der Präfixe bei deutschen Verben | Práce na příbuzné téma

34.
Kiska, Jakub
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: Static analysis of Python code | Práce na příbuzné téma

35.
Klein, Michal
Fakulta: Fakulta informatiky
Rok: 2023, 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: Finding SQL Injection Vulnerabilities in a C# Source Code | Práce na příbuzné téma

36.
Klepárníková, Eva
Fakulta: Pedagogická fakulta
Rok: 2017, 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: Konkurrenz homonymer Verben mit Präfix und Zusatz um und über | Práce na příbuzné téma

37.
Klunko, Mykhailo
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Detecting cryptographic primitives in malicious Windows binaries | Práce na příbuzné téma

38.
Konečná, Hana
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Český jazyk a literatura
Obhajoba bakalářské práce: Tvoření přezdívek a hypokoristik ve Woodcraftu | Práce na příbuzné téma

39.
Konečná, Helena
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Bulharský jazyk a literatura
Obhajoba bakalářské práce: Sufixační modely odvozování bulharských podstatných jmen v porovnání s češtinou | Práce na příbuzné téma

40.
Krohová, Jana
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Chorvatský jazyk a literatura, Španělský jazyk a literatura
Obhajoba bakalářské práce: Tvorba deminutiv a augmentativ v češtině a chorvatštině | Práce na příbuzné téma

41.
Kubištel, Mojmír
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: API pro generování náhodného slova | Práce na příbuzné téma

42.
Kuřilová, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2010, 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: Russkije glagoly biť i byť s pristavkami v sopostavleniji s češskim jazykom | Práce na příbuzné téma

43.
Levínská, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Český jazyk a literatura, Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika)
Obhajoba bakalářské práce: Fonologické vlastnosti prefixů s vysokým vokálem | Práce na příbuzné téma

44.
Lužová, Veronika
Fakulta: Filozofická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Chorvatský jazyk a literatura, Německý jazyk a literatura
Obhajoba bakalářské práce: Tvorba podstatných jmen odvozováním v chorvatšině ve srovnání s češtinou | Práce na příbuzné téma

45.
Machová, Jindřiška
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura, Španělský jazyk a literatura
Obhajoba diplomové práce: Análisis geográfico y formal de los gentilicios en español | Práce na příbuzné téma

46.
Marková, Karolína roz. Zoufalová
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biochemie / Analytická biochemie
Obhajoba diplomové práce: Analýza prometastatických signálních drah u nádorů prsu | Práce na příbuzné téma

47.
Medla, Dušan
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Integrování diferenciálních forem | Práce na příbuzné téma

48.
Mészaroš, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extracting Parts of Programs into Separate Binaries | Práce na příbuzné téma

49.
Mikulíková, Renata
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství matematiky pro základní školy, Učitelství ruského jazyka a literatury pro základní školy
Obhajoba diplomové práce: Russkij glagol idti s pristavkami v sopostavleniji s češskim jazykom | Práce na příbuzné téma

50.
Motyková, Jana
Fakulta: Filozofická fakulta
Rok: 2012, studium neúspěšně ukončeno
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Domácké podoby rodných jmen u současné středoškolské mládeže | Práce na příbuzné téma