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

401.
Makový, Matúš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: System for Selling Superfluous Goods | Práce na příbuzné téma Zobrazit popisek

402.
Makový, Matúš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Real-time collaboration in Komodo | Práce na příbuzné téma

403.
Malina, Martin
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: Kompatibilita JBoss AS s open source databázemi | Práce na příbuzné téma

404.
Mareček, Jakub
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: Univerzální editor gramatik | Práce na příbuzné téma
Obhajoba bakalářské práce: Polyedrální přístup k multikriteriální optimalizaci | Práce na příbuzné téma

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

406.
Martiška, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Implementation of missing WS specification in Apache CXF framework | Práce na příbuzné téma

407.
Masník, Tomáš
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: Mobilní katalogy zboží | Práce na příbuzné téma

408.
Masopust, Ondřej
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: Vývoj her pro mobilní platformu Android | Práce na příbuzné téma

409.
Mastráková, Soňa
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: Srovnávací testy databází založených na různých paradigmatech | Práce na příbuzné téma

410.
Matečný, Alexander
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: Detekcia postáv na obrázkoch | Práce na příbuzné téma

411.
Matějka, Petr
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Program pro uchování a prezentaci proteomických dat z dvourozměrných gelů | Práce na příbuzné téma

412.
Maťko, Martin
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: Mobilní klient na platformě Android pro aplikaci na učení anatomie | Práce na příbuzné téma

413.
Matta, Štefan
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: Mobilná aplikácia pre ovládanie systému výpožičky a inventarizácie pre laboratórium Siemens | Práce na příbuzné téma

414.
Matulík, Petr
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Moderní rámce pro webové aplikace | Práce na příbuzné téma

415.
Matúšová, Katarína
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: Implementácia modulu do ERP systému | Práce na příbuzné téma

416.
Mauritz, Jiří
Fakulta: Fakulta informatiky
Rok: 2015, 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: Flexibilní kategorizace a vyhledávání obsahu v systému Searchisko pomocí štítků | Práce na příbuzné téma

417.
Mazoch, Břetislav
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: Funkční testování webových aplikací | Práce na příbuzné téma

418.
Mec, Martin
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: Grafická interaktivní implementace algoritmu Ant Colony Optimization | Práce na příbuzné téma

419.
Medřický, Martin
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
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

420.
Medřický, 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: Dialogové prostředí pro vývoj dialogových aplikací | Práce na příbuzné téma

421.
Mejzlík, Jiří
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: Osobní informační systém vědeckého pracovníka | Práce na příbuzné téma

422.
Mejzlík, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Adaptabilní testování pro otázky z testů studijních předpokladů (TSP) | Práce na příbuzné téma

423.
Mejzlík, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Segmentace a popis obrazů členovců | Práce na příbuzné téma
Obhajoba diplomové práce: Segmentace a popis obrazů členovců | Práce na příbuzné téma

424.
Mejzlík, Ondřej
Fakulta: Fakulta informatiky
Rok: 2018, 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: Naučná a herní aplikace pro platformu Android | Práce na příbuzné téma

425.
Menšík, Petr
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Portálová aplikace pro plánování motivačních pohovorů | Práce na příbuzné téma

426.
Mičan, Pavel
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: Serializace a C++ | Práce na příbuzné téma

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

428.
Mičko, Radoslav
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ástroj pre analýzu spoľahlivosti softvéru s využitím GitHub repozitárov | Práce na příbuzné téma

429.
Míchal, Ondřej
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: Podpora prezentace celoživotního vzdělávání | Práce na příbuzné téma

430.
Míchal, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Aplikace pro IP telefony | Práce na příbuzné téma

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

432.
Michalko, Mirón
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Editor scénářů projektu PerfCake pro IntelliJ IDEA | Práce na příbuzné téma

433.
Michalov, Ján
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Clusterable Task Scheduler | Práce na příbuzné téma

434.
Miková, Petra
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Corner cases and possible improvements of automated testing | Práce na příbuzné téma

435.
Minátová, Martina
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: Generování vrstevnatých PDF | Práce na příbuzné téma

436.
Mirek, Rastislav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Generátor příkladů k teorii formálních jazyků | Práce na příbuzné téma

437.
Mirek, Rastislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Integrace podpory frameworku Hadoop do CloverETL | Práce na příbuzné téma

438.
Mistrík, Jaroslav
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: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Práce na příbuzné téma
Obhajoba diplomové práce: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Práce na příbuzné téma

439.
Mjartan, Ján
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: Komunikace se čtečkou otisků prstů v jazyce Java | Práce na příbuzné téma

440.
Mlnářík, David
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: Prohlížeč a editor multimediálního formátu ACV | Práce na příbuzné téma

441.
Mlynárik, Eduard Štefan
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: Computer Games Evidence Web-based Application | Práce na příbuzné téma

442.
Mlynárik, Jakub Rudolf
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Cluster analysis and visualization of cybersecurity games progress | Práce na příbuzné téma

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

444.
Moravec, Jaroslav
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: Korekturní rozšíření pro editor OpenOffice.org | Práce na příbuzné téma

445.
Moravec, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Distributed State Space Reductions | Práce na příbuzné téma

446.
Možný, Dominik
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: Extrakce charakteristických vlastností pro systém rozpoznávání obličejů | Práce na příbuzné téma

447.
Možucha, Jakub
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Current Status of Source Code Mutation Testing in JVM Environments | Práce na příbuzné téma

448.
Mravec, Filip
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: Výpočet funkce odezvy proporcionálního detektoru plněného vodíkem metodou Monte Carlo. | Práce na příbuzné téma

449.
Mravec, Filip
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: The MLE-EM Algorithm in Neutron Spectrometry | Práce na příbuzné téma

450.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma