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

linear temporal logic, stuttering, model checking, expressiveness

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

101.
Malenovská, Karolína
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Logopedie / Logopedie
Obhajoba bakalářské práce: Postavení dítěte s narušenou komunikační schopností v běžné třídě MŠ a ZŠ | Práce na příbuzné téma Zobrazit popisek

102.
Maršíková, Eliška
Fakulta: Pedagogická fakulta
Rok: 2020, 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: Skupinová terapie u dospělých osob s koktavostí | Práce na příbuzné téma

103.
Maršíková, Eliška
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Diagnostika balbuties - prototyp mobilní aplikace pro balbutiky | Práce na příbuzné téma

104.
Martynková, Tereza
Fakulta: Pedagogická fakulta
Rok: 2020, 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 život jedince | Práce na příbuzné téma

105.
Maříková, Eva
Fakulta: Pedagogická fakulta
Rok: 2022, 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 život mladého dospělého jedince v sociálním kontextu | Práce na příbuzné téma

106.
Matějková, Nikola
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: Koktavost a její vliv na život | Práce na příbuzné téma

107.
Matušková, Lenka
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství francouzského jazyka a literatury pro základní školy, Pedagogické asistentství speciální pedagogiky pro základní školy
Obhajoba bakalářské práce: Dopad koktavosti na profesní orientaci balbutika | Práce na příbuzné téma

108.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

109.
Molinová, Bára
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 kurzu Nová mluva na komunikační schopnosti a život osob s koktavostí | Práce na příbuzné téma

110.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma

111.
Moravec, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Distributed State Space Reductions | Práce na příbuzné téma

112.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

113.
Němečková, Dominika
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: Logopedická intervence v logopedických třídách mateřských škol ve městě Třinec | Práce na příbuzné téma

114.
Netopilová, Eva
Fakulta: Pedagogická fakulta
Rok: 2013, 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: Pracovní uplatnění jedinců s koktavostí | Práce na příbuzné téma

115.
Neumannová, Leona
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Koktavost a její vliv na život | Práce na příbuzné téma

116.
Nežerková, Michaela
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Jazykové prostředky v knihách pro děti autorek Ivony Březinové a Ivy Procházkové | Práce na příbuzné téma

117.
Nováková, Ľubomíra roz. Hrčová
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Self-efficacy a copingové strategie u osob s balbuties | Práce na příbuzné téma

118.
Novosad, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Predicate Abstraction of DiVinE Models | Práce na příbuzné téma

119.
Novotná, Eva
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (Specializace 1 - logopedie a surdopedie)
Obhajoba diplomové práce: Otevřený rozhovor s dětmi s balbuties z pohledu logopedů | Práce na příbuzné téma

120.
Novotná, Kamila roz. Střeštíková
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Využití prvků muzikoterapie v terapii balbuties | Práce na příbuzné téma

121.
Ostrezi, Eva
Fakulta: Pedagogická fakulta
Rok: 2013, 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 osob s koktavostí | Práce na příbuzné téma

122.
Ostrý, Jakub
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Vliv terapií na jedince s koktavostí v dospělosti | Práce na příbuzné téma

123.
Ošlejšková, Lenka
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Koktavost a sociální fobie | Práce na příbuzné téma

124.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma

125.
Pavlasová, Eliška
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Žáci s koktavostí na 2. stupni běžné základní školy | Práce na příbuzné téma

126.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma

127.
Pellyová, Marta
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Logopedická intervence u dětí s vývojovou dysfázií a koktavostí v předškolním věku | Práce na příbuzné téma

128.
Pešlová, Hilda
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Zkušenosti a povědomí studentů a pedagogů středních škol o koktavosti | Práce na příbuzné téma

129.
Petruchová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace komponentových systémů s dynamickou komunikací | Práce na příbuzné téma

130.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma

131.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma

132.
Prášková, Lucie
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Koktavost z pohledu dospělé osoby s balbuties | Práce na příbuzné téma

133.
Přidalová, Gabriela
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Komunikační kompetence žáků 1. stupně základní školy | Práce na příbuzné téma

134.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

135.
Recová, Anežka
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Návrh screeningového vyšetření pro včasnou diagnostiku incipientní koktavosti | Práce na příbuzné téma

136.
Ritter, Jana
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství německého jazyka a literatury pro střední školy
Obhajoba diplomové práce: Emotionen in journalistischen Texten des österreichischen Nachrichtenmagazins 'NEWS' | Práce na příbuzné téma

137.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Multi-Threaded Nested DFS | Práce na příbuzné téma

138.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Partial Order Reduction in Parallel Model Checking | Práce na příbuzné téma

139.
Rosecký, Václav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikační manažer pro explicitní ověřování modelu | Práce na příbuzné téma

140.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma

141.
Řehák, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: On Extensions of Process Rewrite Systems | Práce na příbuzné téma

142.
Senko, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Formální návrh distribuované hašovací tabulky | Práce na příbuzné téma

143.
Schmidtová, Tereza
Fakulta: Pedagogická fakulta
Rok: 2022, 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: Dopad koktavosti na osobní život balbutiků | Práce na příbuzné téma

144.
Sládková, Monika
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Logopedie / Logopedie
Obhajoba diplomové práce: Vnímání koktavosti z pohledu dětí předškolního věku | Práce na příbuzné téma

145.
Streck, Adam
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Estimace parametrů v diskrétních biologických modelech | Práce na příbuzné téma

146.
Streck, Adam
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: Efektivní identifikace parametrů genových regulačních sítí | Práce na příbuzné téma

147.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma

148.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Práce na příbuzné téma

149.
Szewczyková, Sandra
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Vnímání koktavosti dítěte z pohledu rodiče | Práce na příbuzné téma

150.
Szűcsová, Monika
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teorie výtvarné a galerijní pedagogiky / Teorie výtvarné a galerijní pedagogiky
Obhajoba disertační práce: Softwarové umenie a galerijná prax | Práce na příbuzné téma