Theses on a related topic (having the same keywords):

c, c++, zdrojovy kod, analyza, chyby, regularne vyrazy, cppcheck

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Sedlář, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Theses on a related topic Display description

2.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

3.
Cisko, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic

4.
Hájková, Sylvie
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in German Language and Literature
Bachelor's thesis defence: Fallible Heroines in Selected Novels by Jane Austen | Theses on a related topic

5.
Kalčok, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování úrovní detailů pro 3D modely | Theses on a related topic

6.
Kapitančíková, Petra
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Korean Pronunciation of English | Theses on a related topic

7.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

8.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic

9.
Klejchová, Ivana
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Analyse de deux traductions des passages français dans le roman de Tolstoï "La Guerre et la Paix" | Theses on a related topic

10.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic

11.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++

12.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

13.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic

14.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic

15.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

16.
Mišenko, Pavol
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Program analysis using interval abstraction and backward refinement | Theses on a related topic

17.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

18.
Pepuchová, Lucie
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, French Language and Literature
Bachelor's thesis defence: Comparison of English Pronunciation of François Hollande and Emmanuel Macron | Theses on a related topic

19.
Stibor, Daniel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Biometrická registrace otisků prstů | Theses on a related topic

20.
Svora, Michal
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza portálů na propagaci cestovního ruchu | Theses on a related topic
Bachelor's thesis defence: Analýza portálů na propagaci cestovního ruchu

21.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic

22.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic

23.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic

24.
Tvrdíková, Dagmar
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School English Language Teacher Training / Lower Secondary School English Language Teacher Training, Lower Secondary School Teacher Training in German Language
Master's thesis defence: Daniel Keyes’ "Flowers for Algernon": Translation and Analysis with Special Regard to the Errors in Spelling and Grammar | Theses on a related topic

25.
Aberle, Pavel
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Budoucnost kybernetického terorismu: analýza současné podoby kybernetického terorismu a prognóza jeho budoucího uplatnění | Theses on a related topic

26.
Adamcová, Barbora
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: Two queens in the film Mary Queen of Scots: comparative analysis of the acquired accents of two protagonists | Theses on a related topic

27.
Adamcová, Kamila
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / Polish with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Jména nadpřirozených bytostí v polštině a češtině | Theses on a related topic

28.
Adamcová, Kamila
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Polish Language and Literature
Master's thesis defence: Jazyk současné polské politiky | Theses on a related topic

29.
Adamcová, Lucie
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Jazyk a styl regionálního periodika | Theses on a related topic

30.
Adamčík, Nico
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Geography
Bachelor's thesis defence: Analýza čtyřletého tréninkového cyklu plavkyně | Theses on a related topic

31.
Adamíková, Lenka
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Analýza prístupu mladých ľudí k mediálnym obsahom z verejného sveta | Theses on a related topic
Master's thesis defence: Analýza prístupu mladých ľudí k mediálnym obsahom z verejného priestoru | Theses on a related topic
Master's thesis defence: Taktiky hodnotenia dôveryhodnosti a spoľahlivosti spravodajských obsahov v on-line prostredí | Theses on a related topic

32.
Adamová, Adéla
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature / Czech Language and Literature
Bachelor's thesis defence: Motiv ženy a lásky ve vybraných povídkách Jiřího Wolkera | Theses on a related topic

33.
Ambrožová, Lada
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Analýza zdrojů Wikipedie | Theses on a related topic

34.
Anderlová, Kristýna
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Dificultades del uso del subjuntivo en la enseñanza de ELE en los institutos bilingües en la República Checa | Theses on a related topic

35.
Andres, Filip
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Detekce kolizí mezi proteiny | Theses on a related topic

36.
Andrlík, Tomáš
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Analýza Mistrovství Evropy ve fotbale 2012 | Theses on a related topic

37.
Andrlíková, Marie
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Mathematics for Education, Physical Education and Sport
Bachelor's thesis defence: Komparace kinematických parametrů závodního výkonu v požárním sportu | Theses on a related topic

38.
Andrysíková, Stanislava
Faculty: Faculty of Education
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Russian Language and Literature
Bachelor's thesis defence: Žánry divadelních představení v divadlech Brna a Voroněže | Theses on a related topic

39.
Antal, Marek
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education
Bachelor's thesis defence: Comparison of the first and the fourth(latest) edition of an English textbook. Analysis of development. | Theses on a related topic

40.
Antonová, Petra
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in French Language and Literature
Master's thesis defence: La chronique sociale en BD: l'exemple de Pascal Rabaté | Theses on a related topic

41.
Antoš, Vojtěch
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Russian Language for Education / History for Education, Russian Language for Education
Bachelor's thesis defence: Komparační charakteristika hudební tvorby Ally Pugačovové a Karla Gotta v diachronním aspektu | Theses on a related topic

42.
Antošová, Eva maiden name: Brychtová
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Analýza kopulativní souřadící spojky „auch“ a její význam v češtině | Theses on a related topic

43.
Arbet, Peter
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Tvorba portfólia hedgeového fondu | Theses on a related topic

44.
Arnot, Tomáš
Faculty: Faculty of Arts
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Formální analýza Slavné Nemesis | Theses on a related topic

45.
Arnot, Tomáš
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Formální analýza Slavné Nemesis | Theses on a related topic

46.
Audyová, Kateřina
Faculty: Faculty of Education
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in History
Master's thesis defence: Stephen Leacock - Překlad a analýza | Theses on a related topic

47.
Augustini, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh webového informačního systému pro sportovní klub | Theses on a related topic

48.
Babák, David
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza koherence aktérů SZBP EU: případová studie arabského jara v Libyi | Theses on a related topic

49.
Babej, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxy služba pro realizaci distribuovaných datových skladů | Theses on a related topic
Bachelor's thesis defence: Proxy služba pro realizaci distribuovaných datových skladů | Theses on a related topic

50.
Babický, Vlastimil
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Análisis léxico-semántico de las pintadas políticas recogidas en la Universidad de Castellón | Theses on a related topic