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

c, static analysis, staticka analyza, java, finite state machine, xml, konecny automat, hledani chyb

Keywords ordered alphabetically | Keywords ordered by occurrence rate

551.
Mirek, Rastislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Integrace podpory frameworku Hadoop do CloverETL | Theses on a related topic Display description

552.
Mistrík, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Theses on a related topic
Master's thesis defence: Informační systém na podporu zapojení veřejnosti do ochrany životního prostředí | Theses on a related topic

553.
Mišenko, Pavol
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Program analysis using interval abstraction and backward refinement | Theses on a related topic

554.
Mišík, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: GPS tracking system using the Sigfox IoT network | Theses on a related topic

555.
Mjartan, Ján
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komunikace se čtečkou otisků prstů v jazyce Java | Theses on a related topic

556.
Mlynárik, Eduard Štefan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Computer Games Evidence Web-based Application | Theses on a related topic

557.
Mlynárik, Jakub Rudolf
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Cluster analysis and visualization of cybersecurity games progress | Theses on a related topic

558.
Moravec, Jaroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Korekturní rozšíření pro editor OpenOffice.org | Theses on a related topic

559.
Morávek, Jindřich
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba umělých planet | Theses on a related topic

560.
Mouryc, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování blogu a fotogalerie pomocí dialogu | Theses on a related topic

561.
Mozolák, Milan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Porovnanie dostupných implementácií XML databáz | Theses on a related topic

562.
Možný, Dominik
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Extrakce charakteristických vlastností pro systém rozpoznávání obličejů | Theses on a related topic

563.
Možucha, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Current Status of Source Code Mutation Testing in JVM Environments | Theses on a related topic

564.
Mravec, Filip
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výpočet funkce odezvy proporcionálního detektoru plněného vodíkem metodou Monte Carlo. | Theses on a related topic

565.
Mravec, Filip
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: The MLE-EM Algorithm in Neutron Spectrometry | Theses on a related topic

566.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

567.
Mrázek, Ondřej
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Czech Language
Doctoral thesis defence: Strojové zpracování starších biblických textů | Theses on a related topic

568.
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
Bachelor's thesis defence: Pokročilý nástroj pre skriptovanie v aplikácii CAVER Analyst | Theses on a related topic

569.
Mrváň, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Úprava textových dokumentů pro dyslektiky | Theses on a related topic

570.
Mudrák, Tomáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Digitalizace matematických textů | Theses on a related topic

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

572.
Müller, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Legislativní procesy a eParticipation | Theses on a related topic

573.
Musil, Daniel
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Námět společenské hry na základě teorie her | Theses on a related topic

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

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

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

577.
Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic

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

579.
Navrátilová, Lucie
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace OLAP analýzy v prostředí knihoven MU | Theses on a related topic

580.
Neděla, Petr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace XML signatur | Theses on a related topic

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

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

583.
Nemček, Matej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Integrace Web 2.0 služeb | Theses on a related topic

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

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

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

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

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

589.
Nikrmajer, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro výuku ontologií | Theses on a related topic

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

591.
Nosek, Lubor
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro správu financí | Theses on a related topic

592.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic

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

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

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

596.
Novotná Škarková, Jana
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Hvězdná výše regulárních jazyků | Theses on a related topic

597.
Novotný, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Automatická detekce chyb v programech | Theses on a related topic

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

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

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