Práce na příbuzné téma (mají shodná klíčová slova):

agda, formalization, secd, coinduction

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Fasora, Šimon
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Podniková ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Analýza organizační struktury | Práce na příbuzné téma Zobrazit popisek

2.
Filipová, Bára roz. Fialová
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Ekonomika a řízení nestátních neziskových organizací
Obhajoba bakalářské práce: Z neformální formální? Důvody formalizace NNO. | Práce na příbuzné téma

3.
Poruban, Patrik
Fakulta: Ekonomicko-správní fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Reorganizace podniku | Práce na příbuzné téma

4.
Tokarčík, Andrej
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: An Executable Formal Semantics of Agda | Práce na příbuzné téma

5.
Válkyová, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Analýza faktorů ovlivňujícíh organizační strukturu | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza faktorů ovlivňujícíh organizační strukturu | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza faktorů ovlivňujícíh organizační strukturu | Práce na příbuzné téma

6.
Zatloukalová, Jana
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Mezinárodní teritoriální studia (čtyřleté) / Evropská studia
Obhajoba disertační práce: Konzultační režimy Evropské komise a postoje zájmových skupin k veřejným konzultacím | Práce na příbuzné téma