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

1.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic Display description

2.
Vejnár, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: C++ support for Stanse | Theses on a related topic

3.
Formánek, David
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro statickou a dynamickou analýzu kódu se zaměřením na bezpečnostní chyby | Theses on a related topic

4.
Krajňanský, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic

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

6.
Strehovský, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic

7.
Velek, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Integrace nástroje Stanse do IDE NetBeans | Theses on a related topic

8.
Balcárková, Adéla
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Historical Sciences / Archaeology
Master's thesis defence: Raně středověké osídlení na lokalitě Olomouc - Slavonín - "Horní Lán" | Theses on a related topic

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

10.
Bartošová, Lucia
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Radioulnární trendy v morfologii ruky | Theses on a related topic

11.
Bartošová, Lucia
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Anthropology / Anthropology
Master's thesis defence: Transgenerační efekty v tělesných vlastnostech | Theses on a related topic

12.
Bártová, Kateřina
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Účinnost komunikace z hlediska posilování oddanosti pracovníků cílům | Theses on a related topic

13.
Bělínová, Monika
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Physical Geography
Doctoral thesis defence: Meteorologická a fenologická pozorování české Vlastenecko-hospodářské společnosti v letech 1817 - 1847 | Theses on a related topic

14.
Bílková, Anna
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 čarodějnických procesů v Čechách a na Moravě IV | Theses on a related topic

15.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic

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

17.
Čadek, Pavel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Analýza počtu iterací cyklů | Theses on a related topic

18.
Čekovský, Filip
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: SonarQube plugin pro podporu analýzy objektově orientovaných metrik | Theses on a related topic

19.
Doleželová, Marie
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Physical Geography
Doctoral thesis defence: Srážkové poměry města Brna | Theses on a related topic

20.
Drejčková, Adéla
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / Auxiliary Historical Sciences
Bachelor's thesis defence: Listiny Trčků z Lípy z let 1485 - 1579 ve Státním okresním archivu Jihlava. Pramenná edice. | Theses on a related topic

21.
Drejčková, Adéla
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Historical Sciences / Auxiliary Historical Sciences
Master's thesis defence: Trčkové z Lípy v listinném materiálu (1442-1726). Pramenná edice. | Theses on a related topic

22.
Erlebachová, Klára
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: SonarQube plugin pro podporu analýzy a vizualizace objektově orientovaných metrik | Theses on a related topic

23.
Formánek, David
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Theses on a related topic

24.
Fujtík, Ondřej
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zjišťování podobnosti malware | Theses on a related topic

25.
Gašpar, Adam
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Archaeology / Archaeology
Master's thesis defence: Lužická kultúra na moravsko-slovenskom pomedzí | Theses on a related topic

26.
Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic

27.
Grman, Adam
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Průběh silové křivky stisku lidské ruky ve vztahu k somatickým charakteristikám | Theses on a related topic

28.
Hodovská, Simona
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Anthropology / Anthropology
Bachelor's thesis defence: Věk odstavu u člověka: přehled | Theses on a related topic

29.
Hofman, David
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Optimalizace datových struktur pro analýzu ukazatelů v knihovně dg | Theses on a related topic

30.
Horov, Dávid
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza běžných chyb studentů programujících v C/C++ | Theses on a related topic

31.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Analýzy ukazatelů pro Symbiotic | Theses on a related topic

32.
Janků, Alena
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / Museology
Bachelor's thesis defence: Drobné zámecké objekty na Šumpersku a jejich sbírky | Theses on a related topic

33.
Kaláb, Jan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Detekce nepoužívaného kódu | Theses on a related topic

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

35.
Kamenický, Tobiáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nedefinované chování v jazyku C | Theses on a related topic

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

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

38.
Kleiner, Jan
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Kybernetická bezpečnost koncových uživatelů v ČR a jejich ochota se zabezpečit | Theses on a related topic

39.
Klepková, Dominika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Comparative and Art Studies
Master's thesis defence: Zámecké instalace | Theses on a related topic

40.
Klíč, Zbyněk
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Political Science
Master's thesis defence: Volební podpora českých politických stran od roku 1992 | Theses on a related topic

41.
Kolényová, Ivana
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Anthropology / Anthropology
Master's thesis defence: Projevy vývinového stresu na bázi lební | Theses on a related topic

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

43.
Koščák, Branislav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Undefined behaviour in language C | Theses on a related topic

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

45.
Kubík, Marcel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro detekci formátu souborů | Theses on a related topic

46.
Kučera, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automatická detekce uváznutí v C | Theses on a related topic

47.
Kunc, Adam
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
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: Patologické hráčství u studentů středních škol v České republice | Theses on a related topic

48.
Kupčák, Kryštof
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Mathematical Biology
Bachelor's thesis defence: Řešení problému missing values v klinických registrech | Theses on a related topic

49.
Lahoda, Marek
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Physical Geography)
Bachelor's thesis defence: Variabilita celkového slunečního záření v Brně v letech 2011-2013 | Theses on a related topic

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