Theses on a related topic (having the same keywords):
hctl, property specification patterns, model checking, java, java swing, hybrid computation tree logic, gui editorKeywords ordered alphabetically | Keywords ordered by occurrence rate
651.
Škrabal, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tiketovací systém | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tiketovací systém | Theses on a related topic
652.
Škrabal, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Univerzální rozhraní platební brány | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Univerzální rozhraní platební brány | Theses on a related topic
653.
Škrabálek, Jaroslav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba bohatých webových aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba bohatých webových aplikací | Theses on a related topic
654.
Škrdla, Michal
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: RNA Interference Analyzer | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: RNA Interference Analyzer | Theses on a related topic
655.
Šlachtová, Monika
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: Implementation of Elasticsearch into EAS Framework | Theses on a related topic
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: Implementation of Elasticsearch into EAS Framework | Theses on a related topic
656.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
657.
Šmíd, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Knihovna v jazyce Java pro práci s nástrojem pro virtualizaci | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Knihovna v jazyce Java pro práci s nástrojem pro virtualizaci | Theses on a related topic
658.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
659.
Šnajdr, Michal
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor souborů GPX | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor souborů GPX | Theses on a related topic
660.
Štábl, David
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Jazyk Scala a jeho využití v Enterprise aplikacích. | Theses on a related topic
Master's thesis defence: Jazyk Scala a jeho využití v Enterprise aplikacích. | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Jazyk Scala a jeho využití v Enterprise aplikacích. | Theses on a related topic
Master's thesis defence: Jazyk Scala a jeho využití v Enterprise aplikacích. | Theses on a related topic
661.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic
662.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modifikace IBM Rational Team Concert pro využití ve výuce | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modifikace IBM Rational Team Concert pro využití ve výuce | Theses on a related topic
663.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
664.
Štefanko, Rastislav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Implementace tréningových modelů na určování antropometrických bodů na lidských tvářích | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Implementace tréningových modelů na určování antropometrických bodů na lidských tvářích | Theses on a related topic
665.
Štefina, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: SAT: indexování metrických prostorů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: SAT: indexování metrických prostorů | Theses on a related topic
666.
Štefina, Milan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Audio modul pro systém MUFIN | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Audio modul pro systém MUFIN | Theses on a related topic
667.
Štěpánek, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vykreslování volumetrické mlhy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vykreslování volumetrické mlhy | Theses on a related topic
668.
Štěpánek, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Analýza a vizualizace letu kluzáku | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Analýza a vizualizace letu kluzáku | Theses on a related topic
669.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
670.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
671.
Štursa, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Knihovna pro tvorbu GUI v mobilních zařízeních | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Knihovna pro tvorbu GUI v mobilních zařízeních | Theses on a related topic
672.
Šubčík, Libor
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Moderní způsoby zajištění perzistence dat u J2EE aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Moderní způsoby zajištění perzistence dat u J2EE aplikací | Theses on a related topic
673.
Šustáček, Josef
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Podpora pro rámec Stripes v prostředí NetBeans IDE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Podpora pro rámec Stripes v prostředí NetBeans IDE | Theses on a related topic
674.
Šušota, Juraj
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Systems
Master's thesis defence: Výkonnostní testy knihovny Java2D | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Information Systems
Master's thesis defence: Výkonnostní testy knihovny Java2D | Theses on a related topic
675.
Švábenský, Valdemar
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Elektronická podpora výuky algebry a teorie čísel | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Elektronická podpora výuky algebry a teorie čísel | Theses on a related topic
676.
Švancara, Dušan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
Bachelor's thesis defence: Analýza strukturovaných dat z distribuovaných úložišť | Theses on a related topic
677.
Talaš, Jakub
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sémantické značkování textu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sémantické značkování textu | Theses on a related topic
678.
Ťápal, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zadávání znaků do zařízení s dotykovou obrazovkou pro nevidomé | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zadávání znaků do zařízení s dotykovou obrazovkou pro nevidomé | Theses on a related topic
679.
Terifaj, Ľubomír
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro online anotaci dat z Facebooku | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro online anotaci dat z Facebooku | Theses on a related topic
680.
Tkáč, Ladislav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Theses on a related topic
681.
Tkadlec, Petr
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro správu virtuálních webových serverů na FSS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro správu virtuálních webových serverů na FSS | Theses on a related topic
682.
Tlačbaba, Marek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Integrace DMS a workflow v Liferay Portal | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Integrace DMS a workflow v Liferay Portal | Theses on a related topic
683.
Tlachač, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Vizualizace a GUI pro CoUniverse | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Vizualizace a GUI pro CoUniverse | Theses on a related topic
684.
Tomáš, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modul informačního systému pro řízení obchodu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modul informačního systému pro řízení obchodu | Theses on a related topic
685.
Tomášek, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Design and implementation of Archival Storage component of OAIS Reference Model | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Design and implementation of Archival Storage component of OAIS Reference Model | Theses on a related topic
686.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
687.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
688.
Tomčo, Michal
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Kvalitativní a kvantitativní podobnost potravin | Theses on a related topic
Bachelor's thesis defence: Kvalitativní a kvantitativní podobnost potravin | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Kvalitativní a kvantitativní podobnost potravin | Theses on a related topic
Bachelor's thesis defence: Kvalitativní a kvantitativní podobnost potravin | Theses on a related topic
689.
Tomola, Martin
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: API pro tvorbu otázek a testů
690.
Toth, Dalibor
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování síťového modulu knihovny MESSIF | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování síťového modulu knihovny MESSIF | Theses on a related topic
691.
Tóth, Michal
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro přepis logovacích příkazů jazyka Java | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro přepis logovacích příkazů jazyka Java | Theses on a related topic
692.
Tovaryš, Leo
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: JavaFX aplikace pro vyhledávání astronomických objektů v internetových katalozích | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: JavaFX aplikace pro vyhledávání astronomických objektů v internetových katalozích | Theses on a related topic
693.
Trantina, Jonáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Studie rámce Lombok | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Studie rámce Lombok | Theses on a related topic
694.
Trčka, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
Bachelor's thesis defence: Comparison of JSR-286 support in current portal implementations | Theses on a related topic
695.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
696.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
697.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
698.
Tunkl, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Správa notifikací v systému Perun | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Správa notifikací v systému Perun | Theses on a related topic
699.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
700.
Tymel, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Adaptivní trénink v Kybernetickém polygonu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Adaptivní trénink v Kybernetickém polygonu | Theses on a related topic