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

divine, gui, qt, editor, simulator, model checking, model checker, dve, ltl

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

251.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster model checking | Práce na příbuzné téma Zobrazit popisek

252.
Rumanová, Jolana
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Sociologie
Obhajoba bakalářské práce: Zajímavá povolání - soubor fotoreportáží pro portál IHNED.cz | Práce na příbuzné téma

253.
Rumlová, Kateřina
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Žurnalistika
Obhajoba bakalářské práce: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Práce na příbuzné téma
Obhajoba bakalářské práce: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Práce na příbuzné téma

254.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma

255.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma

256.
Said, Bedřich
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Processing of the Data Measured by UAV | Práce na příbuzné téma

257.
Senko, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma

258.
Shyshkina, Hanna
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: Simulace chování NMR v cloudu | Práce na příbuzné téma

259.
Schneider, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Simulátor kovotlačitelských reliéfů | Práce na příbuzné téma

260.
Schwarzová, Zuzana
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: Návrh a implementácia designu pre webovú platformu | Práce na příbuzné téma
Obhajoba bakalářské práce: Návrh a implementácia designu pre webovú platformu | Práce na příbuzné téma

261.
Skipala, Milan
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: Editor rozložení modelových drah | Práce na příbuzné téma

262.
Skopal, Jiří
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Desktopová aplikace na interaktivní dokreslování obrazu | Práce na příbuzné téma
Obhajoba bakalářské práce: Desktopová aplikace na interaktivní dokreslování obrazu | Práce na příbuzné téma

263.
Smoleniak, Samuel
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Similarity analysis of human faces using cutting planes | Práce na příbuzné téma

264.
Sorentíny, Michal
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: Design architecture and implementation of development environment for ATML (Automated Test Mark-Up Language). | Práce na příbuzné téma

265.
Sotolář, Ondřej
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: Knihovna pro podporu automatizace testování GUI | Práce na příbuzné téma

266.
Staňa, Marek
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: Grafické uživatelské rozhraní pro nástroj Tuned | Práce na příbuzné téma

267.
Staňa, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Runtime Verification of Linear Temporal Specifications with Degradation | Práce na příbuzné téma

268.
Staša, Oliver
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Návrh webové prezentace oboru TIM: analýza procesu tvorby webu z pozice programátora. | Práce na příbuzné téma

269.
Stehlík, Martin
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Optimization of intrusion detection systems in wireless sensor networks | Práce na příbuzné téma

270.
Stehlík, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba rigorózní práce: Intrusion detection and optimization in wireless sensor networks | Práce na příbuzné téma

271.
Stoklasa, Luděk
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zvukový editor | Práce na příbuzné téma

272.
Straka, Stanislav
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Webový simulátor Turingova stroje | Práce na příbuzné téma

273.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma

274.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma

275.
Strejček, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Expressiveness and Model Checking of Temporal Logics | Práce na příbuzné téma

276.
Suchánek, Lukáš
Fakulta: Fakulta informatiky
Rok: 2019, 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: Webová aplikace pro testování dialogových rozhraní metodou Wizard of Oz | Práce na příbuzné téma

277.
Suchánek, Michal
Fakulta: Fakulta informatiky
Rok: 2012, 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: Vysokopolygonální modelování s využitím mapování | Práce na příbuzné téma
Obhajoba bakalářské práce: Editor efektů pro fotografie | Práce na příbuzné téma

278.
Suchomel, Vít
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Automatické testování nástroje DiVinE | Práce na příbuzné téma

279.
Svoboda, Tomáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Klastrování a rozdělování zátěže u J2EE aplikací | Práce na příbuzné téma
Obhajoba diplomové práce: Klastrování a rozdělování zátěže u J2EE aplikací

280.
Svobodová, Lenka
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Design softwarové aplikace pro správu dokumentů | Práce na příbuzné téma

281.
Svobodová, Marcela
Fakulta: Fakulta sociálních studií
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Evropská studia, Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika)
Obhajoba bakalářské práce: Soubor publicistických textů „Na kávě s...“ v deníku MF DNES (v regionální příloze Brno) | Práce na příbuzné téma

282.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma

283.
Sýkorová, Šárka roz. Rieglová
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: A. M. Píša – kritik, lektor, redaktor | Práce na příbuzné téma

284.
Šandalová, Iveta
Fakulta: Právnická fakulta
Rok: 2017, studium neúspěšně ukončeno
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Občanské právo)
Obhajoba rigorózní práce: Právna ochrana grafického používateľského rozhrania | Práce na příbuzné téma

285.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma

286.
Šebová, Martina
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ástroj pro párování informací z různých datových zdrojů | Práce na příbuzné téma

287.
Šeděnka, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Easydialogs pro Linux | Práce na příbuzné téma

288.
Šeděnka, Lukáš
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: Easydialogs pro Linux | Práce na příbuzné téma

289.
Šilhavíková, Lenka
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství českého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Porovnání a zhodnocení edic "Národních báchorek a pověstí" Boženy Němcové | Práce na příbuzné téma

290.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma

291.
Šmijáková, Adriana
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: Modul na kvantitativní analýzu a vizualizaci výsledků trackování živých buněk | Práce na příbuzné téma

292.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

293.
Šopf, Petr
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Porovnání platforem pro návrh a tvorbu GUI na platformě C#/.net | Práce na příbuzné téma

294.
Štefaňák, Filip
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma

295.
Štěrba, Libor
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Využití ICT při výuce v rekvalifikačních kurzech | Práce na příbuzné téma

296.
Štill, Vladimír
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: Analysis of Parallel C++ Programs | Práce na příbuzné téma

297.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma

298.
Štursa, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Knihovna pro tvorbu GUI v mobilních zařízeních | Práce na příbuzné téma

299.
Tauer, Tomáš
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: Uživatelské rozhraní pro vizualizaci rozsáhlých sítí | Práce na příbuzné téma

300.
Tesáček, Ondřej
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Arc-Based Vector Graphics Editor | Práce na příbuzné téma