Theses on a related topic (having the same keywords):
finite automata, complementation, partition, aligater, nfaKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Ajdarów, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Minimality problems for promise versions of finite automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Minimality problems for promise versions of finite automata | Theses on a related topic
2.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic
3.
Dokoupil, David
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simple Complementation of Generalized Büchi Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simple Complementation of Generalized Büchi Automata | Theses on a related topic
4.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Theses on a related topic
5.
Franc, Miroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový formulář pro minimalizaci nedeterministických konečných automatů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový formulář pro minimalizaci nedeterministických konečných automatů | Theses on a related topic
6.
Frian, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simple models of quantum finite automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simple models of quantum finite automata | Theses on a related topic
7.
Gaďorková, Klára
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Reprezentace čísel konečnými automaty | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Reprezentace čísel konečnými automaty | Theses on a related topic
8.
Hulman, Martin
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Partition of India and its Leading Figures | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Partition of India and its Leading Figures | Theses on a related topic
9.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vlastnosti konečných automatů a jejich přechodových monoidů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vlastnosti konečných automatů a jejich přechodových monoidů | Theses on a related topic
10.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic
11.
Komárková, Zuzana
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Biautomaty | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Biautomaty | Theses on a related topic
12.
Koželuhová, Michaela
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Humanities / Baltic Languages and Literatures, Film and Audio-Visual Culture Studies
Master's thesis defence: Restaurování a prezervace raných barvených filmů | Theses on a related topic
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Humanities / Baltic Languages and Literatures, Film and Audio-Visual Culture Studies
Master's thesis defence: Restaurování a prezervace raných barvených filmů | Theses on a related topic
13.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Theses on a related topic
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Theses on a related topic
14.
Mládková, Marie
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Wortgruppen mit der Präposition "nach" und ihre Entsprechungen im Tschechischen | Theses on a related topic
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Wortgruppen mit der Präposition "nach" und ihre Entsprechungen im Tschechischen | Theses on a related topic
15.
Nováková, Lucie
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Spolehlivé zpracování dat ve streamové archituktuře | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Spolehlivé zpracování dat ve streamové archituktuře | Theses on a related topic
16.
Pilát, Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Theses on a related topic
17.
Salajová, Patrícia
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web Editor of Finite Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web Editor of Finite Automata | Theses on a related topic