Práce na příbuzné téma (mají shodná klíčová slova):
divine, dios, record, replay, trace, posix, c, c++, proxy, system call, verification, model checking, file system, operating systemKlíčová slova abecedně | Klíčová slova dle četnosti
151.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma
152.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma
153.
Junaštíková, Ivona
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právo a podnikání
Obhajoba bakalářské práce: Jednání podnikatele v nové právní úpravě | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právo a podnikání
Obhajoba bakalářské práce: Jednání podnikatele v nové právní úpravě | Práce na příbuzné téma
154.
Kabláš, Kristián
Fakulta: Fakulta informatiky
Rok: 2019, 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: Serializace a C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, 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: Serializace a C++ | Práce na příbuzné téma
155.
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
156.
Kaya, Dávid
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: Linux client for YSoft SafeQ | 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: Linux client for YSoft SafeQ | Práce na příbuzné téma
157.
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
158.
Kelnar, David
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství speciální pedagogiky pro základní školy, Učitelství technické výchovy pro základní školy
Obhajoba diplomové práce: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství speciální pedagogiky pro základní školy, Učitelství technické výchovy pro základní školy
Obhajoba diplomové práce: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Práce na příbuzné téma
159.
Kladošová, Tereza Rosalie
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Jemnosti Identity | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Vizuální tvorba, Výtvarná výchova
Obhajoba diplomové práce: Jemnosti Identity | Práce na příbuzné téma
160.
Klíč, Karel
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: Ukázkové příklady grafických aplikací | 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: Ukázkové příklady grafických aplikací | Práce na příbuzné téma
161.
Klimeš, Jiří
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Výpočet obsahu a objemu molekulárního povrchu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Výpočet obsahu a objemu molekulárního povrchu | Práce na příbuzné téma
162.
Kociánová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma
163.
Kohoutová, Monika
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Záznam do katastru nemovitostí | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Záznam do katastru nemovitostí | Práce na příbuzné téma
164.
Kokinda, Patrik
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Fyzika se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sekundové kyvadlo | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium probíhá
Program/obor Fyzika se zaměřením na vzdělávání / Fyzika se zaměřením na vzdělávání, Matematika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Sekundové kyvadlo | Práce na příbuzné téma
165.
Koller, Alexandr
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: Implementace historických kryptosystémů | 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: Implementace historických kryptosystémů | Práce na příbuzné téma
166.
Konvalina, Michal
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Řízení dokumentace v malém nebo středním podniku
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Řízení dokumentace v malém nebo středním podniku
167.
Konvalinka, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Má člověče nezlob se výherní strategii? | 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: Má člověče nezlob se výherní strategii? | Práce na příbuzné téma
168.
Körnerová, Hana
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Exekuce z pohledu katastru nemovitostí | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Exekuce z pohledu katastru nemovitostí | Práce na příbuzné téma
169.
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
170.
Kounková, Marie roz. Veselská
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Cyklus maleb s figurální tématikou: Mlhavá představa | 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 / Speciální výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Cyklus maleb s figurální tématikou: Mlhavá představa | Práce na příbuzné téma
171.
Kováč, Vladimír
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
172.
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
173.
Kovalíková, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik / Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik
Obhajoba diplomové práce: Exprese proteinu Schlafen 11 u karcinomu ovaria | 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 Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik / Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik
Obhajoba diplomové práce: Exprese proteinu Schlafen 11 u karcinomu ovaria | Práce na příbuzné téma
174.
Kovářová, Petra
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Záznam jako forma zápisu do katastru nemovitosti | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Záznam jako forma zápisu do katastru nemovitosti | Práce na příbuzné téma
175.
Krajňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
176.
Králová, Balbína
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy / Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy
Obhajoba diplomové práce: Potichu | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy / Učitelství výtvarné výchovy a vizuální tvorby pro základní a střední školy
Obhajoba diplomové práce: Potichu | Práce na příbuzné téma
177.
Kramec, Tomáš
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: Java API pro dotazovací rozhraní služby EGEE LB | 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: Java API pro dotazovací rozhraní služby EGEE LB | Práce na příbuzné téma
178.
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
179.
Krč, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj na úpravu programů v C++
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Nástroj na úpravu programů v C++
180.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Motifs in State Spaces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Motifs in State Spaces | Práce na příbuzné téma
181.
Krejčí, Darina
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba 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: Chvění | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Vizuální tvorba 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: Chvění | Práce na příbuzné téma
182.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma
183.
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
184.
Kubík, Marcel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro detekci formátu souborů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro detekci formátu souborů | Práce na příbuzné téma
185.
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
186.
Kuchyňová, Vendula
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Vizuální informatika / Počítačová grafika a vizualizace
Obhajoba diplomové práce: Detection of Isosurfaces in Volumetric Data | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Vizuální informatika / Počítačová grafika a vizualizace
Obhajoba diplomové práce: Detection of Isosurfaces in Volumetric Data | Práce na příbuzné téma
187.
Kundeliusová, Veronika
Fakulta: Právnická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Některé aspekty postavení prokuristy podle nového občanského zákoníku | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Některé aspekty postavení prokuristy podle nového občanského zákoníku | Práce na příbuzné téma
188.
Kuric, 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: Zapojení 3D prohlížeče obrazů do Matlabu | 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: Zapojení 3D prohlížeče obrazů do Matlabu | Práce na příbuzné téma
189.
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
190.
Lacko, Martin
Fakulta: Fakulta informatiky
Rok: 2018, 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: Instalace operačních systémů pro cloud | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, 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: Instalace operačních systémů pro cloud | Práce na příbuzné téma
191.
Lakomý, Bedřich
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: Grafický konfigurátor monitorů pro Linux | 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: Grafický konfigurátor monitorů pro Linux | Práce na příbuzné téma
192.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | 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: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
193.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
194.
Lekešová, Eliška
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Speciální edukace bezpečnostních složek
Obhajoba bakalářské práce: Kriminalistická trasologie | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Speciální edukace bezpečnostních složek
Obhajoba bakalářské práce: Kriminalistická trasologie | Práce na příbuzné téma
195.
Lesičko, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: C++14 - mapping between the standard and a formal semantics | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: C++14 - mapping between the standard and a formal semantics | Práce na příbuzné téma
196.
Liberová, Iva
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro migraci programů v Delphi do jazyka C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro migraci programů v Delphi do jazyka C++ | Práce na příbuzné téma
197.
Lipták, Dušan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Vykreslování molekulárních dat ve vysoké kvalitě | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Vykreslování molekulárních dat ve vysoké kvalitě | Práce na příbuzné téma
198.
Lomič, Ondřej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Replacing Logstash | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Replacing Logstash | Práce na příbuzné téma
199.
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
200.
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