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

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

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

1.
Šťastný, Jan
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: Nástroj na automatickou detekci chyb v jazyce C | Práce na příbuzné téma Zobrazit popisek

2.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma

3.
Formánek, David
Fakulta: Fakulta informatiky
Rok: 2014, 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: Nástroje pro statickou a dynamickou analýzu kódu se zaměřením na bezpečnostní chyby | Práce na příbuzné téma

4.
Krajňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma

5.
Sedlář, Lubomír
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Práce na příbuzné téma

6.
Strehovský, Michal
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Statická analýza ukazatelů pro jazyk C | Práce na příbuzné téma

7.
Velek, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Integrace nástroje Stanse do IDE NetBeans | Práce na příbuzné téma

8.
Balcárková, Adéla
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Historické vědy / Archeologie
Obhajoba diplomové práce: Raně středověké osídlení na lokalitě Olomouc - Slavonín - "Horní Lán" | Práce na příbuzné téma

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

10.
Bartošová, Lucia
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Antropologie / Antropologie
Obhajoba bakalářské práce: Radioulnární trendy v morfologii ruky | Práce na příbuzné téma

11.
Bartošová, Lucia
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Antropologie / Antropologie
Obhajoba diplomové práce: Transgenerační efekty v tělesných vlastnostech | Práce na příbuzné téma

12.
Bártová, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Účinnost komunikace z hlediska posilování oddanosti pracovníků cílům | Práce na příbuzné téma

13.
Bělínová, Monika
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Fyzická geografie
Obhajoba disertační práce: Meteorologická a fenologická pozorování české Vlastenecko-hospodářské společnosti v letech 1817 - 1847 | Práce na příbuzné téma

14.
Bílková, Anna
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Religionistika
Obhajoba bakalářské práce: Základní statistická analýza čarodějnických procesů v Čechách a na Moravě IV | Práce na příbuzné téma

15.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma

16.
Brhelová, Eva
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Religionistika
Obhajoba bakalářské práce: Základní statistická analýza čarodějnických procesů v Čechách a na Moravě | Práce na příbuzné téma

17.
Čadek, Pavel
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Analýza počtu iterací cyklů | Práce na příbuzné téma

18.
Čekovský, Filip
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: SonarQube plugin pro podporu analýzy objektově orientovaných metrik | Práce na příbuzné téma

19.
Doleželová, Marie
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Fyzická geografie
Obhajoba disertační práce: Srážkové poměry města Brna | Práce na příbuzné téma

20.
Drejčková, Adéla
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Historické vědy / Pomocné vědy historické
Obhajoba bakalářské práce: Listiny Trčků z Lípy z let 1485 - 1579 ve Státním okresním archivu Jihlava. Pramenná edice. | Práce na příbuzné téma

21.
Drejčková, Adéla
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Historické vědy / Pomocné vědy historické
Obhajoba diplomové práce: Trčkové z Lípy v listinném materiálu (1442-1726). Pramenná edice. | Práce na příbuzné téma

22.
Erlebachová, Klára
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: SonarQube plugin pro podporu analýzy a vizualizace objektově orientovaných metrik | Práce na příbuzné téma

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

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

25.
Gašpar, Adam
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Archeologie / Archeologie
Obhajoba diplomové práce: Lužická kultúra na moravsko-slovenskom pomedzí | Práce na příbuzné téma

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

27.
Grman, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Antropologie / Antropologie
Obhajoba bakalářské práce: Průběh silové křivky stisku lidské ruky ve vztahu k somatickým charakteristikám | Práce na příbuzné téma

28.
Hodovská, Simona
Fakulta: Přírodovědecká fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Antropologie / Antropologie
Obhajoba bakalářské práce: Věk odstavu u člověka: přehled | Práce na příbuzné téma

29.
Hofman, David
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Optimalizace datových struktur pro analýzu ukazatelů v knihovně dg | Práce na příbuzné téma

30.
Horov, Dávid
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: Analýza běžných chyb studentů programujících v C/C++ | Práce na příbuzné téma

31.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2014, 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: Analýzy ukazatelů pro Symbiotic | Práce na příbuzné téma

32.
Janků, Alena
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Historické vědy / Muzeologie
Obhajoba bakalářské práce: Drobné zámecké objekty na Šumpersku a jejich sbírky | Práce na příbuzné téma

33.
Kaláb, Jan
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: Detekce nepoužívaného kódu | Práce na příbuzné téma

34.
Kalčok, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Generování úrovní detailů pro 3D modely | Práce na příbuzné téma

35.
Kamenický, Tobiáš
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: Nedefinované chování v jazyku C | Práce na příbuzné téma

36.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

37.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

38.
Kleiner, Jan
Fakulta: Fakulta sociálních studií
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Bezpečnostní a strategická studia
Obhajoba diplomové práce: Kybernetická bezpečnost koncových uživatelů v ČR a jejich ochota se zabezpečit | Práce na příbuzné téma

39.
Klepková, Dominika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Srovnávací a uměnovědná studia
Obhajoba diplomové práce: Zámecké instalace | Práce na příbuzné téma

40.
Klíč, Zbyněk
Fakulta: Fakulta sociálních studií
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Politologie
Obhajoba diplomové práce: Volební podpora českých politických stran od roku 1992 | Práce na příbuzné téma

41.
Kolényová, Ivana
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Antropologie / Antropologie
Obhajoba diplomové práce: Projevy vývinového stresu na bázi lební | Práce na příbuzné téma

42.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

43.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma

44.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

45.
Kubík, Marcel
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: Nástroj pro detekci formátu souborů | Práce na příbuzné téma

46.
Kučera, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Automatická detekce uváznutí v C | Práce na příbuzné téma

47.
Kunc, Adam
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství dějepisu pro základní školy
Obhajoba diplomové práce: Patologické hráčství u studentů středních škol v České republice | Práce na příbuzné téma

48.
Kupčák, Kryštof
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba bakalářské práce: Řešení problému missing values v klinických registrech | Práce na příbuzné téma

49.
Lahoda, Marek
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Fyzická geografie)
Obhajoba bakalářské práce: Variabilita celkového slunečního záření v Brně v letech 2011-2013 | Práce na příbuzné téma

50.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma