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
51.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | 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: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
52.
Horáček, Petr
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Využití 3D tisku v technické výchově na ZŠ | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství občanské výchovy pro základní školy, Učitelství technické a informační výchovy pro základní školy
Obhajoba diplomové práce: Využití 3D tisku v technické výchově na ZŠ | Práce na příbuzné téma
53.
Hrubanová, Kamila
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Aplikovaná biofyzika)
Obhajoba diplomové práce: Studium biofyzikálních vlastností biomembrán | 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 / Biofyzika (kombinace/zaměření: Aplikovaná biofyzika)
Obhajoba diplomové práce: Studium biofyzikálních vlastností biomembrán | Práce na příbuzné téma
54.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
55.
Chalmovianský, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba diplomové práce: Moderní bayesiánské metody odhadu NAIRU a potenciálního produktu a jejich robustnost | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Aplikovaná matematika pro víceoborové studium, Ekonomie
Obhajoba diplomové práce: Moderní bayesiánské metody odhadu NAIRU a potenciálního produktu a jejich robustnost | Práce na příbuzné téma
56.
Jakubík, Daniel
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í a simulace komunikační sběrnice | 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í a simulace komunikační sběrnice | Práce na příbuzné téma
57.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
58.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
59.
Jankových, Nikola
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Učitelství praktického vyučování
Obhajoba bakalářské práce: Historie a technologie keramiky | 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 / Učitelství praktického vyučování
Obhajoba bakalářské práce: Historie a technologie keramiky | Práce na příbuzné téma
60.
Janová, Veronika
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální pedagogika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Keramická plastika | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální pedagogika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Keramická plastika | Práce na příbuzné téma
61.
Jarešová, Miroslava
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Art assets creation and animation for Newron application | 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á grafika
Obhajoba diplomové práce: Art assets creation and animation for Newron application | Práce na příbuzné téma
62.
Ježová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství výtvarné výchovy pro základní školy
Obhajoba bakalářské práce: Busta stařenky | 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 / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství výtvarné výchovy pro základní školy
Obhajoba bakalářské práce: Busta stařenky | Práce na příbuzné téma
63.
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
64.
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
65.
Kedra, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, 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 pro optimalizaci podnikových procesů | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, 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 pro optimalizaci podnikových procesů | Práce na příbuzné téma
66.
Kedra, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma
67.
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
68.
Klíma, Miroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
Obhajoba diplomové práce: Metodika návrhu ETL grafů pro projekty migrace dat | Práce na příbuzné téma
69.
Kluvánková, Michaela
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Antropologie / Antropologie
Obhajoba diplomové práce: Vztah mezi tělesným složením a variabilitou v robustnosti diafýzy stehenní, holenní a pažní kosti | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Antropologie / Antropologie
Obhajoba diplomové práce: Vztah mezi tělesným složením a variabilitou v robustnosti diafýzy stehenní, holenní a pažní kosti | Práce na příbuzné téma
70.
Kočička, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, 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: 2009, 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
71.
Komárková, Petra
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Dynamic Modeling for Service Systems: Innovation-Cooperation Paradigm in Service Systems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Dynamic Modeling for Service Systems: Innovation-Cooperation Paradigm in Service Systems | Práce na příbuzné téma
72.
Konečný, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: VRML průvodce Fakultou informatiky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: VRML průvodce Fakultou informatiky | Práce na příbuzné téma
73.
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
74.
Koníčková, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, 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: 2011, 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
75.
Krajíček, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely počtu pojistných nároků a výše škod v pojišťovnictví | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely počtu pojistných nároků a výše škod v pojišťovnictví | Práce na příbuzné téma
76.
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
77.
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
78.
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
79.
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
80.
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
81.
Kroupa, Michal
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: Regionálně hydrogeologické poměry při formování uranové mineralizace v oblasti Dolní Rožínky | 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: Regionálně hydrogeologické poměry při formování uranové mineralizace v oblasti Dolní Rožínky | Práce na příbuzné téma
82.
Kršková, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie aplikovaná a environmentální
Obhajoba diplomové práce: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie aplikovaná a environmentální
Obhajoba diplomové práce: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Práce na příbuzné téma
83.
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
84.
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
85.
Kubíček, Ondřej
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro správu požadavků na software | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro správu požadavků na software | Práce na příbuzné téma
86.
Kučera, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Prediktivní modelování multikriteriálních parametrů ovlivňující sněhové podmínky | 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 Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Prediktivní modelování multikriteriálních parametrů ovlivňující sněhové podmínky | Práce na příbuzné téma
87.
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
88.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma
89.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma
90.
Kuchař, Martin
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: Technická fotografie kovových produktů - její zpracování a uplatnění v reklamě za použití informačních technologií | 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: Technická fotografie kovových produktů - její zpracování a uplatnění v reklamě za použití informačních technologií | Práce na příbuzné téma
91.
Kumhálová, Jitka
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Kartografie, geoinformatika a dálkový průzkum Země
Obhajoba disertační práce: Využití GIS v precizním zemědělství | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Kartografie, geoinformatika a dálkový průzkum Země
Obhajoba disertační práce: Využití GIS v precizním zemědělství | Práce na příbuzné téma
92.
Kuzník, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Model Checking of promt-LTL 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: Model Checking of promt-LTL properties | Práce na příbuzné téma
93.
Lasák, Ondřej
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Modelování tržního rizika pomocí metod strojového učení a umělé inteligence | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Modelování tržního rizika pomocí metod strojového učení a umělé inteligence | Práce na příbuzné téma
94.
Láska, Ľuboš
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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | 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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
95.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
96.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
97.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
98.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
99.
Lévek, Zdeněk
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í chování sociálního hmyzu | 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í chování sociálního hmyzu | Práce na příbuzné téma
100.
Lounek, Vítězslav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Sociální informatika
Obhajoba bakalářské práce: Multiagentní modelování rezidenční segregace | 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 / Sociální informatika
Obhajoba bakalářské práce: Multiagentní modelování rezidenční segregace | Práce na příbuzné téma