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

agda, formalization, secd, coinduction

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Fasora, Šimon
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Analýza organizační struktury | Theses on a related topic Display description

2.
Filipová, Bára maiden name: Fialová
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Non-profit-making Organization Economy and Management
Bachelor's thesis defence: Z neformální formální? Důvody formalizace NNO. | Theses on a related topic

3.
Poruban, Patrik
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Reorganizace podniku | Theses on a related topic

4.
Tokarčík, Andrej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: An Executable Formal Semantics of Agda | Theses on a related topic

5.
Válkyová, Veronika
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Analýza faktorů ovlivňujícíh organizační strukturu | Theses on a related topic
Bachelor's thesis defence: Analýza faktorů ovlivňujícíh organizační strukturu | Theses on a related topic
Bachelor's thesis defence: Analýza faktorů ovlivňujícíh organizační strukturu | Theses on a related topic

6.
Zatloukalová, Jana
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: International Territorial Studies (4-years) / European Studies
Doctoral thesis defence: Konzultační režimy Evropské komise a postoje zájmových skupin k veřejným konzultacím | Theses on a related topic