Práce na příbuzné téma (mají shodná klíčová slova):
robustnost, system ode, stl formule, modelovani, model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
101.
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
102.
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
103.
Malec, Daniel
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Využití simulačních metod při řízení podniku | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Využití simulačních metod při řízení podniku | Práce na příbuzné téma
104.
Mareček, Jakub
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Univerzální editor gramatik | Práce na příbuzné téma
Obhajoba bakalářské práce: Polyedrální přístup k multikriteriální optimalizaci | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Univerzální editor gramatik | Práce na příbuzné téma
Obhajoba bakalářské práce: Polyedrální přístup k multikriteriální optimalizaci | Práce na příbuzné téma
105.
Marek, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Poissonův proces a jeho aplikace | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Poissonův proces a jeho aplikace | Práce na příbuzné téma
106.
Martinovič, Tomáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Kvantitativní metody v ekonomice / Matematické a statistické metody v ekonomii
Obhajoba diplomové práce: Nejistota odhadů potenciálniho produktu a NAIRU | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Kvantitativní metody v ekonomice / Matematické a statistické metody v ekonomii
Obhajoba diplomové práce: Nejistota odhadů potenciálniho produktu a NAIRU | Práce na příbuzné téma
107.
Maxera, Vojtěch
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Využití trojrozměrných modelů ve výuce na ZŠ | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Využití trojrozměrných modelů ve výuce na ZŠ | Práce na příbuzné téma
108.
Menšík, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování pravděpodobnostních systémů v jazyce DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování pravděpodobnostních systémů v jazyce DiVinE | Práce na příbuzné téma
109.
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
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
110.
Míka, 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: Simulace procesů v krizovém řízení | 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: Simulace procesů v krizovém řízení | Práce na příbuzné téma
111.
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
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
112.
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
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
113.
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
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
114.
Mrózek, Kryštof
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu a nanotechnologií
Obhajoba diplomové práce: Modelování a simulace iontových motorů založených na vakuovém oblouku | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Fyzika plazmatu a nanotechnologií
Obhajoba diplomové práce: Modelování a simulace iontových motorů založených na vakuovém oblouku | Práce na příbuzné téma
115.
Najman, Petr
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: Principy modelování technikou ''digital sculpting'' | 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: Principy modelování technikou ''digital sculpting'' | Práce na příbuzné téma
116.
Neuvirtová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Epidemiologické analýzy dat onkologických pacientů se zaměřením na modelování časových trendů (aplikace na diagnózu rakoviny prsu) | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Epidemiologické analýzy dat onkologických pacientů se zaměřením na modelování časových trendů (aplikace na diagnózu rakoviny prsu) | Práce na příbuzné téma
117.
Novák, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování výukových procesů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování výukových procesů | Práce na příbuzné téma
118.
Novobílská, Eva
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika pro učitele
Obhajoba diplomové práce: Keramika se žáky se speciálními potřebami | 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 pro učitele
Obhajoba diplomové práce: Keramika se žáky se speciálními potřebami | Práce na příbuzné téma
119.
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
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
120.
Olšar, Jindřich
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Technická a informační výchova se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Základy počítačem generované grafiky | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Technická a informační výchova se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Základy počítačem generované grafiky | Práce na příbuzné téma
121.
Ondrůšek, Jakub
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Využití simulací k výcviku a přípravě v Armádě České republiky | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Bezpečnostní a strategická studia, Mezinárodní vztahy
Obhajoba bakalářské práce: Využití simulací k výcviku a přípravě v Armádě České republiky | Práce na příbuzné téma
122.
Opl, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství fyziky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Výuka 3D grafiky v prostředí základní školy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství fyziky pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Výuka 3D grafiky v prostředí základní školy | Práce na příbuzné téma
123.
Papouš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: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | 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: Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí | 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
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.
Pecha, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování a simulace s využitím systému Maple a MapleSim | 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: Modelování a simulace s využitím systému Maple a MapleSim | Práce na příbuzné téma
126.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | 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 / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
127.
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
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
128.
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
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
129.
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
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
130.
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
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
131.
Poledníková, Barbora
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání / Technická a informační výchova se zaměřením na vzdělávání, Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání
Obhajoba bakalářské práce: Design, konstruování a příprava pokrmů pro ZŠ | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání / Technická a informační výchova se zaměřením na vzdělávání, Výtvarná výchova a vizuální tvorba se zaměřením na vzdělávání
Obhajoba bakalářské práce: Design, konstruování a příprava pokrmů pro ZŠ | Práce na příbuzné téma
132.
Pospíšil, Jan
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: Modelování hejn | 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: Modelování hejn | Práce na příbuzné téma
133.
Prokůpek, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Práce na příbuzné téma
134.
Prvák, Milan
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Modelování proměnnosti hvězdy sigma Ori E | 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 Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Modelování proměnnosti hvězdy sigma Ori E | Práce na příbuzné téma
135.
Przybylski, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma
136.
Přikryl, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma
Obhajoba diplomové práce: Modelování osobnosti | Práce na příbuzné téma
137.
Putík, Josef
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: Tvorba charakteru v programech 3ds Max a Mudbox | 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: Tvorba charakteru v programech 3ds Max a Mudbox | Práce na příbuzné téma
138.
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
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
139.
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
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
140.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, 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: Model Checking Software | 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é) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma
141.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma
142.
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
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
143.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma
144.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster 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 Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster model checking | Práce na příbuzné téma
145.
Ř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
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
146.
Ř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
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
147.
Řehoř, Milan
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Německý jazyk se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Filmové efekty s využitím 3D grafiky v programu Blender | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Německý jazyk se zaměřením na vzdělávání, Technická a informační výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Filmové efekty s využitím 3D grafiky v programu Blender | Práce na příbuzné téma
148.
Sedláček, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství technické a informační výchovy pro základní školy, Učitelství výtvarné výchovy pro základní školy
Obhajoba diplomové práce: Historické keramické vozy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství technické a informační výchovy pro základní školy, Učitelství výtvarné výchovy pro základní školy
Obhajoba diplomové práce: Historické keramické vozy | Práce na příbuzné téma
149.
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
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
150.
Schlemmer, Jiří
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Metodika vyúky předmětu výtvarné anatomie v programu 3ds Max 8 | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Metodika vyúky předmětu výtvarné anatomie v programu 3ds Max 8 | Práce na příbuzné téma