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

statisticka analyza, stanse, c, zamky, staticka analyza, odvozeni pravidel, hledani chyb

Keywords ordered alphabetically | Keywords ordered by occurrence rate

51.
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 Display description

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

53.
Lindr, Jaroslav
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Physics / Upper Secondary School Teacher Training in Mathematics, Upper Secondary School Teacher Training in Physics
Master's thesis defence: Testy z matematické analýzy a jejich vyhodnocování | Theses on a related topic

54.
Marek, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Euclid's algorithm for large integers | Theses on a related topic

55.
Melichařík, Jan
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Economic Policy
Bachelor's thesis defence: Studijní pobyty a výsledky na trhu práce | Theses on a related topic

56.
Mičian, Jakub
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Private equity in CEE | Theses on a related topic

57.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic

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

59.
Mišík, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: GPS tracking system using the Sigfox IoT network | Theses on a related topic

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

61.
Nádeníková, Lucie
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Culture Management
Master's thesis defence: Hnutí Brontosaurus jako cesta k památkové péči | Theses on a related topic

62.
Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic

63.
Novotná, Alena
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Statistics and Data Analysis
Master's thesis defence: Metody analýzy chybějících údajů ve statistice | Theses on a related topic

64.
Novotný, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Automatická detekce chyb v programech | Theses on a related topic

65.
Pechová, Silvia
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Případové studie při statistické analýze malých vzorků | Theses on a related topic

66.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Modul statické a dynamické analýzy pro e-photosynthesis.org | Theses on a related topic

67.
Piskač, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro službu EGEE LB | Theses on a related topic

68.
Praženková, Veronika
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Základní statistická analýza kouzelnických a čarodějnických procesů v Čechách a na Moravě III | Theses on a related topic

69.
Řehák, Zdeněk
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Překlad a analýza VHDL programů prostřednictvím XML mezikódu | Theses on a related topic

70.
Řezníčková, Ladislava
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Physical Geography
Doctoral thesis defence: Analýza vizuálních denních záznamů počasí a časných přístrojových meteorologických měření v českých zemích | Theses on a related topic

71.
Satke, Petr
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Education / Social Education
Bachelor's thesis defence: Vliv sociálního prostředí na volbu střední školy | Theses on a related topic
Bachelor's thesis defence: Vliv sociálního prostředí na volbu střední školy | Theses on a related topic

72.
Sedláček, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic

73.
Sedmidubská, Ilona
Faculty: Faculty of Social Studies
Year: 2015, studies terminated for failure to fulfill study requirements
Programme/field: Humanities / Sociology, Study of Religions
Bachelor's thesis defence: Základní statistická analýza kouzelnických a čarodějnických procesů v Čechách a na Moravě II | Theses on a related topic

74.
Sitek, Ondřej
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Stranové rozdíly kosti klíční | Theses on a related topic

75.
Staněk, Tomáš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Překladač jazyka Scheme | Theses on a related topic

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

77.
Stuchlík, Mikoláš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic

78.
Šáda, Pavel
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Komiks v ČR: analýza českého trhu s komiksy mezi lety 2013 a 2018 | Theses on a related topic

79.
Šá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

80.
Šípek, Martin
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Měření vnímání míry korupce v obci Bystřice nad Pernštejnem | Theses on a related topic

81.
Šírová, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic

82.
Šitka, Josef
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Physical Geography
Master's thesis defence: Základní rysy variability klimatu střední Evropy od r. 1500 simulované vybranými klimatickými modely | Theses on a related topic

83.
Škrabáleková, Mária
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Subjektivní a objektivní hodnocení výsledků aloplastické operace pacientů po náhradě kolenního kloubu prostřednictvím standardizovaného dotazníku | Theses on a related topic

84.
Šlajs, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: DHCP server s podporou databáze a SNMP | Theses on a related topic

85.
Štefánik, Michal
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Virus Zika - nová globální hrozba? | Theses on a related topic

86.
Štěpánková, Lucie
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and International Relations / Economic Policy and International Relations
Master's thesis defence: Remitence zahraničních pracovníků z Ukrajiny a jejich dopady | Theses on a related topic

87.
Š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

88.
Tatýrek, Ondřej
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Cybersecurity / Cybersecurity
Bachelor's thesis defence: Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts | Theses on a related topic

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

90.
Uhlík, Vladimír
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic

91.
Varga, Pavel
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Vybrané klimatické a sociální stresory jako faktor četnosti čarodějnických procesů v Čechách a na Moravě (15.-18. století) | Theses on a related topic
Bachelor's thesis defence: Vybrané klimatické a sociální stresory jako faktor četnosti čarodějnických procesů v Čechách a na Moravě (15.-18. století) | Theses on a related topic

92.
Vávra, Miloslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapování preprocesovaného kódu | Theses on a related topic

93.
Vicherková, Nela
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Ecological and Evolutionary Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Mezikontinentální letecká doprava za časů covidu-19 | Theses on a related topic

94.
Vintr, Jan
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Physical Geography)
Bachelor's thesis defence: Časová a prostorová variabilita vlhkosti vzduchu ve městě Brně | Theses on a related topic

95.
Vintr, Jan
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Physical geography / Physical geography
Master's thesis defence: Analýza hydrometeorologických extrémů v České republice na základě novinových článků | Theses on a related topic

96.
Vitovská, Martina
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický modul systému pro řízení světelné signalizace | Theses on a related topic

97.
Vitovský, Petr
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod LLVM bitkódu do C | Theses on a related topic

98.
Žůrková, Věra maiden name: Kontríková
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Tvořivost v textech dospívajících | Theses on a related topic