Práce na příbuzné téma (mají shodná klíčová slova):
metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuraciesKlíčová slova abecedně | Klíčová slova dle četnosti
351.
Slovák, Petr
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: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | 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: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Práce na příbuzné téma
352.
Sluka, Markéta roz. Štegnerová
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Zur Rolle von Chunks und Automatisierungsprozessen bei der Aussprache in der Fremdsprache Deutsch. Eine Untersuchung zu Assimilationsprozessen bei tschechischen beginnenden Deutschlernenden | 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í německého jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Zur Rolle von Chunks und Automatisierungsprozessen bei der Aussprache in der Fremdsprache Deutsch. Eine Untersuchung zu Assimilationsprozessen bei tschechischen beginnenden Deutschlernenden | Práce na příbuzné téma
353.
Smetana, Lukáš
Fakulta: Fakulta sportovních studií
Rok: 2014, 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: Monitoring vybraných skupin fotbalistů pomocí technologie miCoach | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2014, 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: Monitoring vybraných skupin fotbalistů pomocí technologie miCoach | Práce na příbuzné téma
354.
Stanik, Marián
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba bakalářské práce: Kartely a cenová transparence | Práce na příbuzné téma
Obhajoba bakalářské práce: Kartely a cenová transparence | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Hospodářská politika
Obhajoba bakalářské práce: Kartely a cenová transparence | Práce na příbuzné téma
Obhajoba bakalářské práce: Kartely a cenová transparence | Práce na příbuzné téma
355.
Starastsina, Arina
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Přístupnost webových stránek měst | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Přístupnost webových stránek měst | Práce na příbuzné téma
356.
Stehlík, Libor
Fakulta: Fakulta sportovních studií
Rok: 2011, 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: Testování pohybových schopností a dovedností přípravky Tatranu Brno Bohunice | 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 / Tělesná výchova a sport (kombinace/zaměření: Trenérství)
Obhajoba bakalářské práce: Testování pohybových schopností a dovedností přípravky Tatranu Brno Bohunice | Práce na příbuzné téma
357.
Stehlík, Libor
Fakulta: Fakulta sportovních studií
Rok: 2013, 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: Hodnocení tělesné zdatnosti 11 až 13 letých chlapců prostřednictvím fitness gramu | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2013, 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: Hodnocení tělesné zdatnosti 11 až 13 letých chlapců prostřednictvím fitness gramu | Práce na příbuzné téma
358.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma
359.
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
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
360.
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
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
361.
Stuchlík, Dominik
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Performance testing of Messaging Protocols | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Performance testing of Messaging Protocols | Práce na příbuzné téma
362.
Suchý, Petr
Fakulta: Fakulta informatiky
Rok: 2013, 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: Systém pro monitoring rádií | 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é systémy a zpracování dat
Obhajoba bakalářské práce: Systém pro monitoring rádií | Práce na příbuzné téma
363.
Svoboda, Jakub
Fakulta: Fakulta informatiky
Rok: 2012, 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: Local service monitoring status of Linux operating systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, 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: Local service monitoring status of Linux operating systems | Práce na příbuzné téma
364.
Svoboda, Jaroslav
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: Rozvoj kondičních schopností ve sportovních třídách v rámci ŠVP | 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: Rozvoj kondičních schopností ve sportovních třídách v rámci ŠVP | Práce na příbuzné téma
365.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Verifikace hybridních systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Verifikace hybridních systémů | Práce na příbuzné téma
366.
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
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
367.
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
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
368.
Swiechová, Sabina
Fakulta: Pedagogická fakulta
Rok: 2021, 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: Úroveň matematických zkušenosti z oblasti geometrie jako součást připravenosti dětí pro vstup do školy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2021, 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: Úroveň matematických zkušenosti z oblasti geometrie jako součást připravenosti dětí pro vstup do školy | Práce na příbuzné téma
369.
Sýkora, Pavel
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba bakalářské práce: Náprava environmentálních škod na příkladě podniku Diamo | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Regionální rozvoj a správa
Obhajoba bakalářské práce: Náprava environmentálních škod na příkladě podniku Diamo | Práce na příbuzné téma
370.
Sznapka, Jakub
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Úroveň kondičních schopností u výkonnostních hráčů fotbalu | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Úroveň kondičních schopností u výkonnostních hráčů fotbalu | Práce na příbuzné téma
371.
Šafařík, Jan
Fakulta: Fakulta informatiky
Rok: 2022, 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: Cloud Infrastructure Health Monitoring System | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, 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: Cloud Infrastructure Health Monitoring System | Práce na příbuzné téma
372.
Šalagovič, Jakub
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Computational analysis and model integration of biorhythmic systems | 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 / Bioinformatika
Obhajoba diplomové práce: Computational analysis and model integration of biorhythmic systems | Práce na příbuzné téma
373.
Šebestová, Simona
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství českého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Hodnocení výslovnosti ve výuce anglického jazyka | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství českého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Hodnocení výslovnosti ve výuce anglického jazyka | Práce na příbuzné téma
374.
Šeděnka, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Huffmanovo kódování stavů v DiVinE | Práce na příbuzné téma
375.
Šejnohová, Jana
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Obnovování volného pohybu osob v Evropské unii omezeného pandemií covid-19 pomocí karantén, testů a očkování | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Obnovování volného pohybu osob v Evropské unii omezeného pandemií covid-19 pomocí karantén, testů a očkování | Práce na příbuzné téma
376.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - Prostředí pro distribuovanou verifikaci | 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: DiVinE - Prostředí pro distribuovanou verifikaci | Práce na příbuzné téma
377.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: External Memory LTL Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: External Memory LTL Model Checking | Práce na příbuzné téma
378.
Šimeček, Pavel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Efficient Computing Resources Usage in Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Efficient Computing Resources Usage in Model Checking | Práce na příbuzné téma
379.
Šipl, Milan
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: Monitoring zápasového zatížení u hráčů fotbalu (kategorie U19) | 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: Monitoring zápasového zatížení u hráčů fotbalu (kategorie U19) | Práce na příbuzné téma
380.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma
381.
Škopíková, Iveta
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Studium parametrů pasivních vzorkovačů pro monitorování polárních organických znečišťujících látek ve vodním prostředí | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Chemie životního prostředí
Obhajoba diplomové práce: Studium parametrů pasivních vzorkovačů pro monitorování polárních organických znečišťujících látek ve vodním prostředí | Práce na příbuzné téma
382.
Škrášek, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Informační systém pro monitoring toxických sinic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Informační systém pro monitoring toxických sinic | Práce na příbuzné téma
383.
Škůrek, Jakub
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Přehled nástrojů pro sledování a vizualizací síťového provozu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Přehled nástrojů pro sledování a vizualizací síťového provozu | Práce na příbuzné téma
384.
Šmérek, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Práce na příbuzné téma
385.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma
386.
Šorejsová, Markéta roz. Varvařovská
Fakulta: Lékařská fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Specifika ošetřovatelské péče o pacienty s intrakraniálním čidlem | Práce na příbuzné téma
Fakulta: Lékařská fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Intenzivní péče / Intenzivní péče
Obhajoba diplomové práce: Specifika ošetřovatelské péče o pacienty s intrakraniálním čidlem | Práce na příbuzné téma
387.
Štefaňák, Filip
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma
388.
Štill, Vladimír
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: State space compression for the DiVinE model checker | 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: State space compression for the DiVinE model checker | Práce na příbuzné téma
389.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma
390.
Štrofová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociologie / Sociologie
Obhajoba bakalářské práce: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Práce na příbuzné téma
391.
Šustková, Martina
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie
Obhajoba bakalářské práce: Javoříčské jeskyně: dynamika a mineralizace skapových vod. | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie
Obhajoba bakalářské práce: Javoříčské jeskyně: dynamika a mineralizace skapových vod. | Práce na příbuzné téma
392.
Šustková, Martina
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Vztah dynamiky a složení jeskynních skapových vod | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Vztah dynamiky a složení jeskynních skapových vod | Práce na příbuzné téma
393.
Švecová, Petra
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Finanční nástroje strukturální politiky EU
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Finanční nástroje strukturální politiky EU
394.
Švihlík, Petr
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Development of a utility for filling databases | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Development of a utility for filling databases | Práce na příbuzné téma
395.
Táborský, Adam
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Monitoring trhu práce a jeho implementace ve Švédsku | Práce na příbuzné téma
396.
Tichý, Milan
Fakulta: Fakulta sportovních studií
Rok: 2019, 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: Pohybová aktivita hráčů florbalu v průběhu sezony | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2019, 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: Pohybová aktivita hráčů florbalu v průběhu sezony | Práce na příbuzné téma
397.
Tischer, Robin
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Trenérství
Obhajoba bakalářské práce: Využití masážního válce jako kompenzační pomůcky u mládežnických hráčů ledního hokeje | 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 / Trenérství
Obhajoba bakalářské práce: Využití masážního válce jako kompenzační pomůcky u mládežnických hráčů ledního hokeje | Práce na příbuzné téma
398.
Tomášek, Zbyněk
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma
Obhajoba diplomové práce: TOMÁŠ RULLER – tvorba 90. let: Monitoring - Displej / Intermediální performance & Nové technologie | Práce na příbuzné téma
399.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání nástrojů pro paralelní LTL model checking | Práce na příbuzné téma
400.
Tomáštík, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí 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 / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikace MPI programů pomocí DIVINE | Práce na příbuzné téma