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

451.
Nguyen, Filip
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: Advanced notification system | Práce na příbuzné téma Zobrazit popisek

452.
Nguyen, Filip
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informační systémy
Obhajoba rigorózní práce: Semantically Partitioned Complex Event Processing | Práce na příbuzné téma

453.
Nieslanik, Radovan
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: Adaptivní uživatelské rozhraní v smartphonu | Práce na příbuzné téma

454.
Nosek, Lubor
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: Jakarta Struts - rozhraní pro efektivní tvorbu webových aplikací v Java Server Pages

455.
Novák, Jan
Fakulta: Fakulta informatiky
Rok: 2016, 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: Algoritmus pro generování rozvrhu orientačního běhu | Práce na příbuzné téma

456.
Nová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: Aplikace pro sběr metadat ve federaci identit | Práce na příbuzné téma

457.
Novák, Jiří
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: Modelování výukových procesů | Práce na příbuzné téma

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

459.
Novotný, Matěj
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Garbage Collector Shenandoah: serverové aplikace | Práce na příbuzné téma

460.
Nyklíček, Jaromír
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: Anotátor SVG obrázků | Práce na příbuzné téma

461.
Olejník, Marek
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Informační systém pro správu softwarových licencí | Práce na příbuzné téma

462.
Ondruška, Juraj
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Framework pro deskové hry | Práce na příbuzné téma

463.
Ondruško, Tomáš
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: Extension of clustering analysis tool for cybersecurity exercises | Práce na příbuzné téma

464.
Oprendek, Michal
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: Sada nástrojov pre konverziu cenníka medzinárodných volaní | Práce na příbuzné téma

465.
Oprendek, Michal
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Genetickým algoritmom ladená termodynamická simulácia | Práce na příbuzné téma

466.
Osvald, Marek
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Vývoj komunitní mobilní aplikace z prostředí gastronomie pro platformu Google Android | Práce na příbuzné téma

467.
Osvald, Marek
Fakulta: Fakulta informatiky
Rok: 2015, 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 komunitní mobilní aplikace z prostředí gastronomie pro platformu Google Android | Práce na příbuzné téma

468.
Ošmera, Zbyněk
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Webový informační systém na podporu marketingu | Práce na příbuzné téma

469.
Pacek, Jan
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Poradenský webový portál pro vinohradnictví | Práce na příbuzné téma

470.
Palma, Adam
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: Software pro extrakci klíčových snímků z videa | Práce na příbuzné téma

471.
Pančík, Andrej
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: Integrace Java a C++ federací do simulací M&S HLA | Práce na příbuzné téma

472.
Páral, Kamil
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Java aplikace pro posílání SMS | Práce na příbuzné téma

473.
Páral, Tomáš
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: Weblog pro e-learning

474.
Páral, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Datová a prezentační vrstva moderních webových aplikací | Práce na příbuzné téma

475.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma

476.
Pater, Jan
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: Edukační software pro amatérské hudebníky | Práce na příbuzné téma

477.
Paulau, Raman
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: Webová aplikace simulující policejní mobilní terminál | Práce na příbuzné téma

478.
Pavelec, Josef
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimization of JVM settings for application performance | Práce na příbuzné téma

479.
Pavlovič, Jan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Multikriteriální hybridní evoluční algoritmy pro výběr a optimalizaci dekontaminačních technologií | Práce na příbuzné téma

480.
Pecháček, František
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: Online simulátor logické hádanky Region puzzle | Práce na příbuzné téma

481.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma

482.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma

483.
Pelíšek, Daniel
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: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Práce na příbuzné téma
Obhajoba bakalářské práce: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Práce na příbuzné téma

484.
Pentek, Oliver
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: Přepis zastaralé webové aplikace do moderní podoby | Práce na příbuzné téma

485.
Peschel, Jakub
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: Dialogová platforma s podporou komunikace prostřednictvím XMPP | Práce na příbuzné téma

486.
Peterka, Lubomír
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Poradenský portál pro provozovatele zdrojů znečišťování ovzduší | Práce na příbuzné téma

487.
Petkanič, Peter
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: Bitcoin Blockchain Analysis | Práce na příbuzné téma

488.
Petr, Radek
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: Malý systém počítačové podpory pro rozvrh obhajob a zkoušek | Práce na příbuzné téma

489.
Petráš, 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: Aplikácia softvérových návrhových vzorov v informačnom systéme | Práce na příbuzné téma

490.
Petreková, Katarína
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Počítačová lingvistika / Počítačová lingvistika
Obhajoba bakalářské práce: Fonetický přepis češtiny: Aplikace pro Android | Práce na příbuzné téma

491.
Petrovický, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Vizualizace tvorby a optimalizace rozvrhu | Práce na příbuzné téma

492.
Petrovický, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, 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: Vizualizace tvorby a optimalizace rozvrhu | Práce na příbuzné téma

493.
Petrů, Stanislav
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: Systém pro podporu rozhodování výběru metodiky vývoje SW | Práce na příbuzné téma

494.
Petrů, Stanislav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: DART - Design Analysis Re-engineering Tool | Práce na příbuzné téma

495.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

496.
Pexa, Jiří
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafické rozhraní pro Peer-to-Peer algoritmy | Práce na příbuzné téma

497.
Pilár, Dominik
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Integrácia testov a dotazníkov do kyberbezpečnostných hier v prostredí KYPO | Práce na příbuzné téma

498.
Pilár, Dominik
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Webová aplikace pro generování uživatelské konfigurace sandboxů platformy KYPO | Práce na příbuzné téma

499.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma

500.
Pisk, Lubomír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Reaktivní mobilní aplikace pro rezervaci konferenčních místností | Práce na příbuzné téma