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

hctl, property specification patterns, model checking, java, java swing, hybrid computation tree logic, gui editor

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

101.
Debef, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Datová rozhraní v jazyce Java | Práce na příbuzné téma Zobrazit popisek

102.
Demčák, Ján
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Webová aplikácia pre automatizovanú spätnú väzbu účastníkom tréningu v oblasti kybernetickej bezpečnosti | Práce na příbuzné téma

103.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Rozšíření a refaktorizace nástroje BioDiVinE | Práce na příbuzné téma

104.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma

105.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma

106.
Dočkalová Burská, Karolina roz. Burská
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Portlety pro správu a vizualizaci sandboxů v Kybernetickém polygonu | Práce na příbuzné téma

107.
Dopjera, Norbert
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: Generačný upgrade JavaEE aplikácie SMWeb | Práce na příbuzné téma

108.
Dosoudil, Vladimír
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Software pro podporu výuky datových struktur | Práce na příbuzné téma

109.
Došek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Referenční model projektu organizace konferencí v ICT | Práce na příbuzné téma
Obhajoba diplomové práce: Nástroj na analýzu logů | Práce na příbuzné téma

110.
Drábek, Jan
Fakulta: Fakulta informatiky
Rok: 2013, 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: Komponenta pro validaci dat v CloverETL | Práce na příbuzné téma

111.
Drahovský, Filip
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Komponenta pro registraci uživatelů v systému Perun | Práce na příbuzné téma

112.
Drozd, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Aplikace na úpravy dokumentů vytvořených v DocBooku

113.
Dřímal, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Vytvoření ImageJ pluginu pro kvantifikaci kompaktních a difůzních struktur | Práce na příbuzné téma

114.
Dubecký, Robert
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Datová služba pro podporu vizualizací v kybernetickém polygonu | Práce na příbuzné téma

115.
Dubrouski, Stanislau
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace algoritmu pro korekci barevné vady jako plugin ImageJ | Práce na příbuzné téma

116.
Duda, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Správa bezpečnostních cvičení v Kybernetickém polygonu | Práce na příbuzné téma

117.
Durkáč, Martin
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: Security-aware Mutation Testing | Práce na příbuzné téma

118.
Ďurkovicová, Terézia
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Generátor křivek vyplňujících prostor | Práce na příbuzné téma

119.
Ďurkovicová, Terézia
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Analýza PCA 3D modelů obličejů | Práce na příbuzné téma

120.
Ďurovský, Lukáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zpracování sady formátů pro ukládání molekulárních struktur | Práce na příbuzné téma

121.
Dvorský, Ivan
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Databázová aplikace pro informační výměnu analytických dat minerálů a hornin - Minfo | Práce na příbuzné téma

122.
Dvořák, Lukáš
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: Generovanie a správa tlačových formulárov | Práce na příbuzné téma

123.
Dvořák, Michal
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Dialogové rozhraní pro správu relačního databázového systému | Práce na příbuzné téma
Obhajoba bakalářské práce: Identifikace pomocí čipových karet | Práce na příbuzné téma

124.
Eliáš, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Repositář vyhledávacích struktur | Práce na příbuzné téma

125.
Fábián, Attila
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: Portácia programového vybavenia pre spracovanie dát do jazyka Java I | Práce na příbuzné téma

126.
Fabo, 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: Impact of virtualization on benchmark accuracy | Práce na příbuzné téma

127.
Fabo, Jakub
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Zpracování a analýza rozsáhlých dat
Obhajoba diplomové práce: Impact of Nested Virtualization to Benchmark Accuracy | Práce na příbuzné téma

128.
Fábry, Filip
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: Java microservice migration to the Spring framework | Práce na příbuzné téma

129.
Faltýnek, Jakub
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: Informační systém pro podporu organizace dětských táborů | Práce na příbuzné téma

130.
Fargaš, Oto
Fakulta: Fakulta informatiky
Rok: 2024, 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: Verziovanie SW produktov a distribúcia verzií | Práce na příbuzné téma

131.
Fecko, Daniel
Fakulta: Fakulta informatiky
Rok: 2021, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro spojování identit v systému Perun | Práce na příbuzné téma

132.
Fendek, 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: Webový informační systém pro podporu středoškolské studentské odborné činnosti | Práce na příbuzné téma

133.
Ferko, Ján
Fakulta: Fakulta informatiky
Rok: 2011, 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: Create a JSF component to work with map servers | Práce na příbuzné téma

134.
Ferko, Ján
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: Klasifikace a hlášení výjimek na úrovni aplikací v JBoss AS 7 | Práce na příbuzné téma

135.
Ferková, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Určování míry podobnosti 3D skenů lidských obličejů | Práce na příbuzné téma

136.
Fialík, Ivan
Fakulta: Fakulta informatiky
Rok: 2004, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kryptografické funkce v jazyce Java

137.
Forejt, Ondřej
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: Personalizovaná indexace webových zdrojů | Práce na příbuzné téma

138.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

139.
Fritzová, Tatiana
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: Maven plugin na generovanie kódu pre UAS Forms | Práce na příbuzné téma

140.
Frnoch, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Grafické rozhraní pro simulátor C++ programů | Práce na příbuzné téma

141.
Fryč, Lukáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Visual Testing of Browser Screen Captures | Práce na příbuzné téma

142.
Fudor, Lukáš
Fakulta: Fakulta informatiky
Rok: 2024, 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: Backend modul pre bankovú aplikáciu | Práce na příbuzné téma

143.
Fukal, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Logování pro distribuované klientské aplikace | Práce na příbuzné téma

144.
Gajda, Miroslav
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém podpory spolupráce se zákazníkem (CRM) pro malé firmy | Práce na příbuzné téma

145.
Galčík, Ondrej
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: Rozhraní pro vyhledávání v databázi obrázků | Práce na příbuzné téma

146.
Gáliková, Ivana
Fakulta: Fakulta informatiky
Rok: 2013, 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: Aplikace pro interaktivní zobrazování barevných variací potkanů na základě zadaného genotypu | Práce na příbuzné téma

147.
Galvánek, Marek
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Vyhledávaní antropometrických bodů v 3D skenu obličeje | Práce na příbuzné téma

148.
Gazárek, Tomáš
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: Java a příbuzné platformy na PDA | Práce na příbuzné téma

149.
Gazárek, Tomáš
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: Internetové aplikace v JavaFX | Práce na příbuzné téma

150.
Gdovin, Adam
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Performance reporting tool | Práce na příbuzné téma