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

chovanie, verifikacia, specification, behavior, specifikacia, ltl, verification, testovanie, monitorovanie, linearna temporalna logika

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

101.
Kyselová, Ina
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Experimentální biologie / Matematická biologie
Obhajoba bakalářské práce: Analýza asociací parazitárních společenstev, potravních a behaviorálních dat u populace orangutanů | Práce na příbuzné téma Zobrazit popisek

Obhajoba bakalářské práce: Analýza asociací parazitárních společenstev, potravních a behaviorálních dat u populace orangutanů | Práce na příbuzné téma Zobrazit popisek

102.
Lacková, Antónia
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Nekázeň studentů středních škol | Práce na příbuzné téma
Obhajoba bakalářské práce: Nekázeň - pohled studentů středních škol | Práce na příbuzné téma

103.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma

104.
Leždík, Juraj
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitorování zátěže a využití výpočetních zdrojů v heterogenním výpočetním prostředí | Práce na příbuzné téma

105.
Lintner, Igor
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance / Finance
Obhajoba bakalářské práce: Testování vybraných trend-following strategií | Práce na příbuzné téma

106.
Lörinc, Alexander
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitorovací systém pro AVG | Práce na příbuzné téma

107.
Ľupták, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Algoritmy pro rozpoznávání dotykových gest | Práce na příbuzné téma

108.
Mahútová, Lucia
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Vizuální informatika / Grafický design
Obhajoba diplomové práce: High fidelity prototyp aplikácie na starostlivosť o interiérové rastliny | Práce na příbuzné téma

109.
Machalka, Jakub
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Etické nakupování | Práce na příbuzné téma

110.
Majláth, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Automatické generování testovacích procedůr vyhovujících standardu DO-178B | Práce na příbuzné téma

111.
Major, Juraj
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Práce na příbuzné téma

112.
Maksović, Sofija
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: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma

113.
Martinka, Juraj
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Poptávkový informačný systém | Práce na příbuzné téma

114.
Matuška, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verification of binarised neural networks using ASP | Práce na příbuzné téma

115.
Melichárková, Šárka
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Reflexe členství ve volejbalovém výběru mladších žákyň | Práce na příbuzné téma

116.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

117.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma

118.
Michalík, Peter
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Poptávkový informačný systém | Práce na příbuzné téma
Obhajoba diplomové práce: Poptávkový informační systém | Práce na příbuzné téma

119.
Miléřová, Drahoslava
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Postavení státního zástupce v trestním řízení | Práce na příbuzné téma

120.
Mišáková, Pavlína
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika a volný čas
Obhajoba bakalářské práce: Význam a využití herních aktivit v životě dětí s PAS | Práce na příbuzné téma

121.
Mižík, Bruno
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: Implementace testů pro dyslektiky na základě jayzka DysX | Práce na příbuzné téma

122.
Mocková, Daniela
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Sledování anime v mladé dospělosti a jeho psychosociální dopady | Práce na příbuzné téma

123.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma

124.
Moravčík, Marek
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizualizace stavových prostorů | Práce na příbuzné téma

125.
Mráz, Mikuláš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Monitoring a plánování údržby databázových serverů | Práce na příbuzné téma

126.
Mrkvová, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekologická a evoluční biologie / Ekologická a evoluční biologie
Obhajoba bakalářské práce: Behaviorální interakce v populacích halančíka tyrkysového | Práce na příbuzné téma

127.
Mulár, Ondrej
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: Regresní testovaní balíku fence-agents | Práce na příbuzné téma

128.
Murasová, Markéta
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Laboratorní diagnostika ve zdravotnictví / Laboratorní diagnostika ve zdravotnictví
Obhajoba bakalářské práce: Zavedení nové metody pro stanovení glukózy | Práce na příbuzné téma

129.
Myslivec, David
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní aspekty interoperability software | Práce na příbuzné téma

130.
Nagy, Imrich
Fakulta: Fakulta informatiky
Rok: 2021, 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: Building open profiles of certified cryptographic devices | Práce na příbuzné téma

131.
Navrátilová, Iva
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika a volný čas
Obhajoba bakalářské práce: Program COPE for Teens - výstupy z realizace ve skupině studentů na Gymnáziu Integra v Brně | Práce na příbuzné téma

132.
Němec, Richard
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy - specializace strojírenství
Obhajoba diplomové práce: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Práce na příbuzné téma

133.
Novák, Jakub
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: Improvements of Memory Management in KLEE | Práce na příbuzné téma

134.
Novák, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Lazy object initialization support in KLEE | Práce na příbuzné téma

135.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma

136.
Novotná, Adéla
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Influence of animal advocacy movies on behavioral change in meat and dairy products consumption | Práce na příbuzné téma

137.
Opavský, Vladimír
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: Bezpečnosť technológie JavaCard | Práce na příbuzné téma

138.
Pánik, Matúš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Rozpoznávání obličejů s využitím technologií iFace SDK a IDKit Multimodal SDK | Práce na příbuzné téma

139.
Pařízková, Ivana
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Sociální pedagogika a volný čas
Obhajoba bakalářské práce: Výchova cizinců v podmínkách českého krasobruslení | Práce na příbuzné téma

140.
Pavlík, Michal
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Predikční modely rizika insolvence firem | Práce na příbuzné téma

141.
Pecuch, Daniel
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: Password managers: a survey | Práce na příbuzné téma

142.
Pincová, Lenka
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Redesign webu kps.cvtisr.sk | Práce na příbuzné téma

143.
Podhora, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Forensic profiles of certified cryptographic smartcards | Práce na příbuzné téma

144.
Podškubková, Štěpánka
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Šikana a agrese | Práce na příbuzné téma

145.
Pokorná, Kristýna
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: Phraseologie am Beispiel von Verhalten der Männer und Frauen - eine deutsch-tschechische kontrastive Analyse | Práce na příbuzné téma

146.
Polián, Tomáš
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Práce na příbuzné téma

147.
Pozdílková, Hana
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka
Obhajoba diplomové práce: Specification and Generalization in Student Translations | Práce na příbuzné téma

148.
Pribula, Dávid
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Využití nástrojů pro souborový fuzzing ve vývojovém procesu | Práce na příbuzné téma

149.
Racek, Lukáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Návrh uživatelského rozhraní multimediálního systému ve veřejné dopravě | Práce na příbuzné téma

150.
Repka, Ondrej
Fakulta: Ekonomicko-správní fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Obchodování kalendářních komoditních spreadů | Práce na příbuzné téma