Práce na příbuzné téma (mají shodná klíčová slova):
metric interval temporal logic, monitoring, testing, model checking, linear temporal logic, linear temporal logic with degradation constraints, runtime verification, formula rewritingKlíčová slova abecedně | Klíčová slova dle četnosti
151.
Jaroš Hýblová, Hana
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Language School Comparison (Case study) | Práce na příbuzné téma
Obhajoba bakalářské práce: Language School Comparison (Case study) | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Language School Comparison (Case study) | Práce na příbuzné téma
Obhajoba bakalářské práce: Language School Comparison (Case study) | Práce na příbuzné téma
152.
Jelínek, Alena roz. Špaňhelová
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekologická a evoluční biologie / Biologie se zaměřením na vzdělávání, Fyzika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Testové úlohy z mechaniky | 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 Ekologická a evoluční biologie / Biologie se zaměřením na vzdělávání, Fyzika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Testové úlohy z mechaniky | Práce na příbuzné téma
153.
Jirsík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Cyber Situation Awareness via IP Flow Monitoring | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Cyber Situation Awareness via IP Flow Monitoring | Práce na příbuzné téma
154.
Jirsík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Host Trustworthiness Estimation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Host Trustworthiness Estimation | Práce na příbuzné téma
155.
Juris, Martin
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Vliv aplikace atletické přípravy v tréninku mladých fotbalistů na vybrané rychlostní, silové a vytrvalostní schopnosti | Práce na příbuzné téma
Obhajoba bakalářské práce: Vliv aplikace atletické přípravy v tréninku mladých fotbalistů na vybrané rychlostní, silové a vytrvalostní schopnosti | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Vliv aplikace atletické přípravy v tréninku mladých fotbalistů na vybrané rychlostní, silové a vytrvalostní schopnosti | Práce na příbuzné téma
Obhajoba bakalářské práce: Vliv aplikace atletické přípravy v tréninku mladých fotbalistů na vybrané rychlostní, silové a vytrvalostní schopnosti | Práce na příbuzné téma
156.
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
157.
Kadlčák, Jan
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Sledování úrovně zatížení hráče ve florbalu | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Sledování úrovně zatížení hráče ve florbalu | Práce na příbuzné téma
158.
Kajn, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium probíhá
Program/obor Geografie a kartografie / Učitelství geografie a kartografie pro střední školy
Obhajoba rigorózní práce: Porovnání úrovně zeměpisných znalostí čtyřletých a víceletých gymnázií | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium probíhá
Program/obor Geografie a kartografie / Učitelství geografie a kartografie pro střední školy
Obhajoba rigorózní práce: Porovnání úrovně zeměpisných znalostí čtyřletých a víceletých gymnázií | Práce na příbuzné téma
159.
Kalla, Tomáš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Analýza integrace systému vyhledávání spojů se systémem kolizních informací a její využití | Práce na příbuzné téma
Obhajoba diplomové práce: Analýza integrace systému vyhledávání spojů se systémem kolizních informací a její využití | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Analýza integrace systému vyhledávání spojů se systémem kolizních informací a její využití | Práce na příbuzné téma
Obhajoba diplomové práce: Analýza integrace systému vyhledávání spojů se systémem kolizních informací a její využití | Práce na příbuzné téma
160.
Kamenický, Tobiáš
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: Nedefinované chování v jazyku C | Práce na příbuzné téma
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: Nedefinované chování v jazyku C | Práce na příbuzné téma
161.
Kanich, Marek
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Rozhodčí ledního hokeje)
Obhajoba bakalářské práce: Monitoring zatížení rozhodčího ledního hokeje | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Tělesná výchova a sport (kombinace/zaměření: Rozhodčí ledního hokeje)
Obhajoba bakalářské práce: Monitoring zatížení rozhodčího ledního hokeje | Práce na příbuzné téma
162.
Kazda, David
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Testování výkonnosti hráčů ledního hokeje | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Animátor sportovních aktivit, Pedagogické asistentství matematiky pro základní školy
Obhajoba bakalářské práce: Testování výkonnosti hráčů ledního hokeje | Práce na příbuzné téma
163.
Kazdová, Eva
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Učitelství geografie a kartografie pro střední školy, Učitelství historie pro střední školy
Obhajoba diplomové práce: Soběslavsko – příručka pro výuku geografie mikroregionu | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Učitelství geografie a kartografie pro střední školy, Učitelství historie pro střední školy
Obhajoba diplomové práce: Soběslavsko – příručka pro výuku geografie mikroregionu | Práce na příbuzné téma
164.
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
165.
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
166.
Klement, Vojtěch
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: Studie proveditelnosti | Práce na příbuzné téma
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: Studie proveditelnosti | Práce na příbuzné téma
167.
Klikáč, Adam
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Aplikovaná kineziologie
Obhajoba diplomové práce: Monitorování variability srdeční frekvence pomocí mobilní aplikace u sportovce zaměřeného na silový trénink | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Kondiční trénink a aplikovaná kineziologie / Aplikovaná kineziologie
Obhajoba diplomové práce: Monitorování variability srdeční frekvence pomocí mobilní aplikace u sportovce zaměřeného na silový trénink | Práce na příbuzné téma
168.
Kmentová, Helena
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Možnosti a limity reportingu příspěvkových organizací | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Možnosti a limity reportingu příspěvkových organizací | Práce na příbuzné téma
169.
Kočař, Lukáš
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Regenerace a výživa ve sportu
Obhajoba bakalářské práce: Využití elektronického pracovního listu sportovce ke sledování bilance tekutin, množství a koncentrace přijímaných sacharidů v průběhu vytrvalostního zatížení | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Regenerace a výživa ve sportu
Obhajoba bakalářské práce: Využití elektronického pracovního listu sportovce ke sledování bilance tekutin, množství a koncentrace přijímaných sacharidů v průběhu vytrvalostního zatížení | Práce na příbuzné téma
170.
Kočvarová, Pavla
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Speciální kondiční příprava volejbalistek v kategorii žactva. | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Sportovní edukace)
Obhajoba diplomové práce: Speciální kondiční příprava volejbalistek v kategorii žactva. | Práce na příbuzné téma
171.
Kohút, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pre opravovanie úloh z Javy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pre opravovanie úloh z Javy | Práce na příbuzné téma
172.
Kolář, Jiří
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Business Activity Monitoring | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Business Activity Monitoring | Práce na příbuzné téma
173.
Komár, Matej
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Quality Assurance in Game Development | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Quality Assurance in Game Development | Práce na příbuzné téma
174.
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
175.
Korábová, Hana
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Monitoring centrálního venózního tlaku | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Specializace ve zdravotnictví / Intenzivní péče
Obhajoba diplomové práce: Monitoring centrálního venózního tlaku | Práce na příbuzné téma
176.
Koscielniak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Extending Test Management Tool | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Extending Test Management Tool | Práce na příbuzné téma
177.
Kosková, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Hodnocení metod pro stanovení biodostupnosti perzistentních organických polutantů v sedimentech. | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Hodnocení metod pro stanovení biodostupnosti perzistentních organických polutantů v sedimentech. | Práce na příbuzné téma
178.
Kostelníková, Alena
Fakulta: Fakulta sportovních studií
Rok: 2007, studium neúspěšně ukončeno
Program/obor Tělesná výchova a sport / Učitelství ruského jazyka a literatury pro základní školy, Učitelství tělesné výchovy pro základní školy
Obhajoba diplomové práce: Vliv kompenzačních cvičení na oslabené svalové skupiny u hráčů tenisu | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2007, studium neúspěšně ukončeno
Program/obor Tělesná výchova a sport / Učitelství ruského jazyka a literatury pro základní školy, Učitelství tělesné výchovy pro základní školy
Obhajoba diplomové práce: Vliv kompenzačních cvičení na oslabené svalové skupiny u hráčů tenisu | Práce na příbuzné téma
179.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: IPFIX Packet Generator | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: IPFIX Packet Generator | Práce na příbuzné téma
180.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma
181.
Kousal, Viktor
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Návrh infrastruktury SW oddělení | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Návrh infrastruktury SW oddělení | Práce na příbuzné téma
182.
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
183.
Koželuhová, Lucie
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Přírodopis se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Úroveň zdatnosti vybrané věkové skupiny žáků ZŠ | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Přírodopis se zaměřením na vzdělávání, Tělesná výchova a sport
Obhajoba bakalářské práce: Úroveň zdatnosti vybrané věkové skupiny žáků ZŠ | Práce na příbuzné téma
184.
Krahulcová, Soňa
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba rigorózní práce: Echokardiografické a spiroergometrické parametry u vytrvalostních sportovců, mužů ve věku od 20 do 30 let. | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: PhDr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy
Obhajoba rigorózní práce: Echokardiografické a spiroergometrické parametry u vytrvalostních sportovců, mužů ve věku od 20 do 30 let. | Práce na příbuzné téma
185.
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
186.
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
187.
Krausová, Veronika
Fakulta: Filozofická fakulta
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Internet věcí (Internet of Things) a jeho bezpečnost | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium neúspěšně ukončeno
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Internet věcí (Internet of Things) a jeho bezpečnost | Práce na příbuzné téma
188.
Kredátusová, Mária
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: The Benefits of extensive reading in ELT | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: The Benefits of extensive reading in ELT | Práce na příbuzné téma
189.
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
190.
Krchňavý, Ludvík
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Fyzická geografie)
Obhajoba bakalářské práce: Hydromorfologická kvalita malých vodních toků na území Brna | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geografie a kartografie / Geografie (kombinace/zaměření: Fyzická geografie)
Obhajoba bakalářské práce: Hydromorfologická kvalita malých vodních toků na území Brna | Práce na příbuzné téma
191.
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
192.
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
193.
Kršáková, Martina
Fakulta: Pedagogická fakulta
Rok: 2014, 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: Strategie a techniky učení vysokoškolských studentů | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2014, 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: Strategie a techniky učení vysokoškolských studentů | Práce na příbuzné téma
194.
Kryšková, Martina
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Implementing and using i-school in conditions of primary school Mánesova Otrokovice | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Implementing and using i-school in conditions of primary school Mánesova Otrokovice | Práce na příbuzné téma
195.
Křenek, Jan
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika, Sociální informatika
Obhajoba bakalářské práce: Automatizace vývoje a údržby rezervačního systému LEMMA | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika, Sociální informatika
Obhajoba bakalářské práce: Automatizace vývoje a údržby rezervačního systému LEMMA | Práce na příbuzné téma
196.
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
197.
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
198.
Kubáček, Jáchym
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Využití validovaného testu pro hodnocení vizualizační gramotnosti | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba bakalářské práce: Využití validovaného testu pro hodnocení vizualizační gramotnosti | Práce na příbuzné téma
199.
Kučera, Adam
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: Monitorovací nástroje pro objekty a zařízení sítě BACnet | 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: Monitorovací nástroje pro objekty a zařízení sítě BACnet | Práce na příbuzné téma
200.
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