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

vass-mdp, half-space, termination complexity, cone, petri nets, polynomial termination time, linear termination time, vector addition systems with states

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Ajdarów, Michal
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Algorithmic Asymptotic Analysis of Infinite-Sate Systems | Theses on a related topic Display description

2.
Fardová, Aneta
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics focused on teaching / English Language and Literature, Mathematics focused on teaching
Bachelor's thesis defence: Osvětlení v Mongeově zobrazovací metodě | Theses on a related topic

3.
Fusek, Matyáš
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and data analysis
Bachelor's thesis defence: Stochastické Petriho sítě | Theses on a related topic

4.
Holomková, Dana maiden name: Kubešová
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training (combination/specialization: Ruský jazyk)
Master's thesis defence: Využití přírodnin jako didaktické pomůcky napříč předměty 1. stupně ZŠ | Theses on a related topic

5.
Hudečková, Monika
Faculty: Faculty of Medicine
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Teorie barevného vidění | Theses on a related topic

6.
Krejčíková, Jitka
Faculty: Faculty of Medicine
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Barevné vidění | Theses on a related topic

7.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic

8.
Martínek, František
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Teoretická fyzika)
Master's thesis defence: Potenciály a geometrie v kvantové mechanice | Theses on a related topic

9.
Morávková, Blanka
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Úlohy s prostorovými tělesy v Mongeově zobrazovací metodě | Theses on a related topic

10.
Spišák, Samuel
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: Modelování podnikových procesů pomocí BPMN a Petriho sítí | Theses on a related topic
Master's thesis defence: Modelování podnikových procesů pomocí BPMN a Petriho sítí | Theses on a related topic