Práce na příbuzné téma (mají shodná klíčová slova):
real-time systems, games, stochastic processes, model checking, performance evaluationKlíčová slova abecedně | Klíčová slova dle četnosti
201.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma
202.
Truongová, Mai Phuong
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Matematika neživotního pojištění: teorie a příklady | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Matematika neživotního pojištění: teorie a příklady | Práce na příbuzné téma
203.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma
204.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
Obhajoba diplomové práce: Paritní hry | Práce na příbuzné téma
205.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Verification of probabilistic systems against quantified linear 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: Verification of probabilistic systems against quantified linear properties | Práce na příbuzné téma
206.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma
207.
Ulmanová, Jana roz. Vybíralová
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Německý jazyk)
Obhajoba diplomové práce: Kroužek němčiny pro 5. třídu ZŠ aneb Jak zvládnout němčinu současně s angličtinou | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Německý jazyk)
Obhajoba diplomové práce: Kroužek němčiny pro 5. třídu ZŠ aneb Jak zvládnout němčinu současně s angličtinou | Práce na příbuzné téma
208.
Uruba, Jan-Sebastian
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Využití filmových technik a videa ve videohrách | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba bakalářské práce: Využití filmových technik a videa ve videohrách | Práce na příbuzné téma
209.
Vacek, Petr
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Mobilní aplikace pro navigaci návštěvníků Brna | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Mobilní aplikace pro navigaci návštěvníků Brna | Práce na příbuzné téma
210.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
211.
Vanický, Šimon
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
Obhajoba diplomové práce: Verifikace CTL vlastností v nástroji DiVinE | Práce na příbuzné téma
212.
Vaňousová, Jitka
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Hra a její význam pro děti v předškolním věku | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Hra a její význam pro děti v předškolním věku | Práce na příbuzné téma
213.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
214.
Vavříček, David
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Esport a kvalita spánku | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport, Zeměpis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Esport a kvalita spánku | Práce na příbuzné téma
215.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Indexační struktury pro prostorová data | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Indexační struktury pro prostorová data | Práce na příbuzné téma
216.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
217.
Velevová, Klára
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Srovnání vyučovacích prostředků, metod a forem alternativní předškolní výchovy metody Montessori a klasické mateřské školy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství zeměpisu pro základní školy
Obhajoba bakalářské práce: Srovnání vyučovacích prostředků, metod a forem alternativní předškolní výchovy metody Montessori a klasické mateřské školy | Práce na příbuzné téma
218.
Veselý, Štěpán
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie (čtyřleté) / Sociální psychologie
Obhajoba disertační práce: Essays in behavioral game theory
Obhajoba disertační práce: Essays in behavioral game theory | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie (čtyřleté) / Sociální psychologie
Obhajoba disertační práce: Essays in behavioral game theory
Obhajoba disertační práce: Essays in behavioral game theory | Práce na příbuzné téma
219.
Vichtová, Barbora
Fakulta: Pedagogická fakulta
Rok: 2012, 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í hudební výchovy pro základní školy
Obhajoba diplomové práce: Use of Movement in English Language Teaching to Very Young Learners | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, 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í hudební výchovy pro základní školy
Obhajoba diplomové práce: Use of Movement in English Language Teaching to Very Young Learners | Práce na příbuzné téma
220.
Volf, Jakub Adam-Augustin
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Les jeux de grammaire et les compétences clés dans l’enseignement du français | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Les jeux de grammaire et les compétences clés dans l’enseignement du français | Práce na příbuzné téma
221.
Volná, Petra
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Rozvoj komunikačních kompetencí u dětí předškolního věku v běžné mateřské škole | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Rozvoj komunikačních kompetencí u dětí předškolního věku v běžné mateřské škole | Práce na příbuzné téma
222.
Vozárová, Viktória
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
223.
Vrťo, Peter
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Procesy obnovy | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Procesy obnovy | Práce na příbuzné téma
224.
Weissová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Možnosti netradičního přístupu k uživatelům knihoven | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Možnosti netradičního přístupu k uživatelům knihoven | Práce na příbuzné téma
225.
Zálešáková, Jana
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Analýza volnočasových aktivit dětí ve Starém Městě | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy
Obhajoba diplomové práce: Analýza volnočasových aktivit dětí ve Starém Městě | Práce na příbuzné téma
226.
Zavadilová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Stochastické metody analýzy ekonomických dat | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Stochastické metody analýzy ekonomických dat | Práce na příbuzné téma
227.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
228.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | 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 / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma