Práce na příbuzné téma (mají shodná klíčová slova):
linear temporal logic, stuttering, model checking, expressivenessKlíčová slova abecedně | Klíčová slova dle četnosti
51.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma
52.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
53.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
54.
Holovská, Iveta
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Vliv koktavosti na utváření sociálních vazeb | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Vliv koktavosti na utváření sociálních vazeb | Práce na příbuzné téma
55.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
56.
Hošťálková, Marie
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Ontogeneze řeči u dětí v bilingvním prostředí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství speciální pedagogiky pro základní školy
Obhajoba diplomové práce: Ontogeneze řeči u dětí v bilingvním prostředí | Práce na příbuzné téma
57.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
58.
Hyánková, Magdaléna
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Kvalita života a copingové strategie dospělých osob s koktavostí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Kvalita života a copingové strategie dospělých osob s koktavostí | Práce na příbuzné téma
59.
Chalupová, Lucie
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Interpersonální vztahy osob s koktavostí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Interpersonální vztahy osob s koktavostí | Práce na příbuzné téma
60.
Charvátová, Romana
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Vliv pedagoga na průběh terapie balbuties | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Vliv pedagoga na průběh terapie balbuties | Práce na příbuzné téma
61.
Chládková, Marie
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Informovanost psychologických profesí o problematice balbuties a její terapii | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Informovanost psychologických profesí o problematice balbuties a její terapii | Práce na příbuzné téma
62.
Chupíková, Blanka
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Využití prvků dramaterapie v terapii koktavosti | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Využití prvků dramaterapie v terapii koktavosti | Práce na příbuzné téma
63.
Jakubcová, Táňa
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Názory veřejnosti na problematiku balbuties | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Názory veřejnosti na problematiku balbuties | Práce na příbuzné téma
64.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
65.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
66.
Jílková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Analýza životní situace osoby s koktavostí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Analýza životní situace osoby s koktavostí | Práce na příbuzné téma
67.
Jílková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Hodnocení komunikace z pohledu dospělých osob s balbuties | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Hodnocení komunikace z pohledu dospělých osob s balbuties | Práce na příbuzné téma
68.
Jurková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Přístup rodičů k dětem s koktavostí - hodnocení z pohledu dospělých balbutiků | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Přístup rodičů k dětem s koktavostí - hodnocení z pohledu dospělých balbutiků | Práce na příbuzné téma
69.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
70.
Karabcová, Tereza
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Vliv koktavosti na socializaci dítěte v mateřské škole | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Vliv koktavosti na socializaci dítěte v mateřské škole | Práce na příbuzné téma
71.
Keda, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky LTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace formulí logiky LTL | Práce na příbuzné téma
72.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
73.
Komendová, Hana
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Vliv koktavosti na život dospělých balbutiků | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Vliv koktavosti na život dospělých balbutiků | Práce na příbuzné téma
74.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
75.
Kouřil, Miloš
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Příčina neúspěšné terapie balbucies | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Příčina neúspěšné terapie balbucies | Práce na příbuzné téma
76.
Kováčik, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma
77.
Kratochvíla, Tomáš
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarových systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarových systémů | Práce na příbuzné téma
78.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
79.
Krejčová, Lucie
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství speciální pedagogiky pro střední školy, Učitelství výtvarné výchovy pro střední školy
Obhajoba diplomové práce: Symbolika ve výtvarném projevu balbutiků | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství speciální pedagogiky pro střední školy, Učitelství výtvarné výchovy pro střední školy
Obhajoba diplomové práce: Symbolika ve výtvarném projevu balbutiků | Práce na příbuzné téma
80.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
81.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
82.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
83.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma
84.
Křivánek, Milan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma
85.
Kučera, Tadeáš
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Matematika s informatikou
Obhajoba diplomové práce: API pro monitorování chování programů v kontextu nástroje DIVINE | Práce na příbuzné téma
86.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
87.
Kuzník, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Model Checking of promt-LTL properties | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Model Checking of promt-LTL properties | Práce na příbuzné téma
88.
Langášková, Petra
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Analýza komunikačních situací u dospívajícího jedince s balbuties | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Analýza komunikačních situací u dospívajícího jedince s balbuties | Práce na příbuzné téma
89.
Láska, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
90.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
91.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
92.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
93.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
94.
Libánská, Eva
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Sebepojetí u jedinců trpících koktavostí ve vynořující se dospělosti | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Sebepojetí u jedinců trpících koktavostí ve vynořující se dospělosti | Práce na příbuzné téma
95.
Liebigerová, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Problematika koktavosti na prvním stupni základní školy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Problematika koktavosti na prvním stupni základní školy | Práce na příbuzné téma
96.
Loydová, Pavlína
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura, Obecná jazykověda
Obhajoba diplomové práce: Expressivität in publizistischen Texten mit der Aids-Thematik | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Německý jazyk a literatura, Obecná jazykověda
Obhajoba diplomové práce: Expressivität in publizistischen Texten mit der Aids-Thematik | Práce na příbuzné téma
97.
Macková, Kamila
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Hodnocení prostředí dospívajících osob s koktavostí | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Hodnocení prostředí dospívajících osob s koktavostí | Práce na příbuzné téma
98.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
99.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mapping the Omega-Automata Jungle | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mapping the Omega-Automata Jungle | Práce na příbuzné téma
100.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma