Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

451.
Mrázik, Andrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pokročilý nástroj pro skriptování v aplikaci CAVER Analyst | Theses on a related topic Display description

Bachelor's thesis defence: Pokročilý nástroj pre skriptovanie v aplikácii CAVER Analyst | Theses on a related topic Display description

452.
Mudrík, Richard
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vizualizaci a analýzu strukturovaných dat | Theses on a related topic

453.
Musil, Marek
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multi-agentní platforma pro podporu vyhledávání | Theses on a related topic

454.
Muzikář, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Interactive Tests as a Form of Quickstarts (on Kubernetes) | Theses on a related topic

455.
Muzikář, Václav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém schvalování změn v konfiguraci serveru Keycloak | Theses on a related topic

456.
Navrátil, Adam
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pokročilá autentizace v Java aplikacích pomocí protokolu Kerberos | Theses on a related topic

457.
Nedoma, Zbyněk
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Správa experimentů pro knihovnu MESSIF | Theses on a related topic

458.
Nekula, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Textový klient pro JVoiceXML na platformě Google Android | Theses on a related topic

459.
Nevřela, Aleš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Digitální zpracování rychlých analogových signálů | Theses on a related topic

460.
Nevřela, Aleš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Dialogová komponenta systému GATE | Theses on a related topic

461.
Nguyen, Filip
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh dialogové strategie pro získávání informací nutných pro vytvoření osobního blogu | Theses on a related topic

462.
Nguyen, Filip
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Advanced notification system | Theses on a related topic

463.
Nguyen, Filip
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Information Systems
Advanced Master's thesis defence: Semantically Partitioned Complex Event Processing | Theses on a related topic

464.
Nieslanik, Radovan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Adaptivní uživatelské rozhraní v smartphonu | Theses on a related topic

465.
Nosek, Lubor
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Jakarta Struts - rozhraní pro efektivní tvorbu webových aplikací v Java Server Pages

466.
Novák, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Algoritmus pro generování rozvrhu orientačního běhu | Theses on a related topic

467.
Novák, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro sběr metadat ve federaci identit | Theses on a related topic

468.
Novák, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování výukových procesů | Theses on a related topic

469.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

470.
Novotný, Matěj
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Garbage Collector Shenandoah: serverové aplikace | Theses on a related topic

471.
Nyklíček, Jaromír
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Anotátor SVG obrázků | Theses on a related topic

472.
Olejník, Marek
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Informační systém pro správu softwarových licencí | Theses on a related topic

473.
Ondruška, Juraj
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Framework pro deskové hry | Theses on a related topic

474.
Ondruško, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Extension of clustering analysis tool for cybersecurity exercises | Theses on a related topic

475.
Oprendek, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sada nástrojov pre konverziu cenníka medzinárodných volaní | Theses on a related topic

476.
Oprendek, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Genetickým algoritmom ladená termodynamická simulácia | Theses on a related topic

477.
Osvald, Marek
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vývoj komunitní mobilní aplikace z prostředí gastronomie pro platformu Google Android | Theses on a related topic

478.
Osvald, Marek
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vývoj komunitní mobilní aplikace z prostředí gastronomie pro platformu Google Android | Theses on a related topic

479.
Ošmera, Zbyněk
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Webový informační systém na podporu marketingu | Theses on a related topic

480.
Pacek, Jan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Poradenský webový portál pro vinohradnictví | Theses on a related topic

481.
Palma, Adam
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Software pro extrakci klíčových snímků z videa | Theses on a related topic

482.
Pančík, Andrej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Integrace Java a C++ federací do simulací M&S HLA | Theses on a related topic

483.
Páral, Kamil
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Java aplikace pro posílání SMS | Theses on a related topic

484.
Páral, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Weblog pro e-learning

485.
Páral, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Datová a prezentační vrstva moderních webových aplikací | Theses on a related topic

486.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic

487.
Pater, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Edukační software pro amatérské hudebníky | Theses on a related topic

488.
Paulau, Raman
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webová aplikace simulující policejní mobilní terminál | Theses on a related topic

489.
Pavelec, Josef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Optimization of JVM settings for application performance | Theses on a related topic

490.
Pavlovič, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Multikriteriální hybridní evoluční algoritmy pro výběr a optimalizaci dekontaminačních technologií | Theses on a related topic

491.
Pecháček, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Online simulátor logické hádanky Region puzzle | Theses on a related topic

492.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

493.
Pelánek, Radek
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Reduction and Abstraction Techniques for Model Checking | Theses on a related topic

494.
Pelíšek, Daniel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Theses on a related topic

495.
Pentek, Oliver
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přepis zastaralé webové aplikace do moderní podoby | Theses on a related topic

496.
Peschel, Jakub
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Dialogová platforma s podporou komunikace prostřednictvím XMPP | Theses on a related topic

497.
Peterka, Lubomír
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Poradenský portál pro provozovatele zdrojů znečišťování ovzduší | Theses on a related topic

498.
Petkanič, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bitcoin Blockchain Analysis | Theses on a related topic

499.
Petr, Radek
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Malý systém počítačové podpory pro rozvrh obhajob a zkoušek | Theses on a related topic

500.
Petráš, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikácia softvérových návrhových vzorov v informačnom systéme | Theses on a related topic