Práce na příbuzné téma (mají shodná klíčová slova):
software reliability, synthesis, c++, klee, algorithms, static code analysis, verification, symbioticKlíčová slova abecedně | Klíčová slova dle četnosti
201.
Sklenář, Matěj
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Příprava molekul inspirovaných přírodními spirocyklickými laktamy | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Příprava molekul inspirovaných přírodními spirocyklickými laktamy | Práce na příbuzné téma
202.
Slabá, Iva
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Práce na příbuzné téma
203.
Slámečka, Ondřej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Monte Carlo Tree Search in Verification of Markov Decision Processes | Práce na příbuzné téma
204.
Slámová, Dana
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2012, 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: Úloha autoevaluace v mateřské škole | Práce na příbuzné téma
205.
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
206.
Stana, Ivan
Fakulta: Fakulta informatiky
Rok: 2014, 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: Využití knihovny FreeLing pro češtinu | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, 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: Využití knihovny FreeLing pro češtinu | Práce na příbuzné téma
207.
Stibor, Daniel
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Biometrická registrace otisků prstů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Biometrická registrace otisků prstů | Práce na příbuzné téma
208.
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
209.
Stupka, Pavel
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: Grafický engine na základech OpenGL pro podporu 3D animací | 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: Grafický engine na základech OpenGL pro podporu 3D animací | Práce na příbuzné téma
210.
Svoboda, Jan
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: Effectively Combining Static Code Analysis and Manual Code Reviews | 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: Effectively Combining Static Code Analysis and Manual Code Reviews | Práce na příbuzné téma
211.
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
212.
Szmek, Petr
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Nástroj na úpravu programů v C++
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Nástroj na úpravu programů v C++
213.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma
214.
Šeligová, Karolína
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza potenciálních inhibitorů acetylcholinesterázy VI | Práce na příbuzné téma
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza potenciálních inhibitorů acetylcholinesterázy VI | Práce na příbuzné téma
215.
Šimek, Miloš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Práce na příbuzné téma
216.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | 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: Monitorování chování systémů | Práce na příbuzné téma
217.
Šolomek, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntetická organická fotochemie | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntetická organická fotochemie | Práce na příbuzné téma
218.
Šolomek, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Syntetické aplikace fotoenolizačních reakcí | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Syntetické aplikace fotoenolizačních reakcí | Práce na příbuzné téma
219.
Šrom, 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: Knihovna tříd pro visuální reprezentaci a editaci diagramů | 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: Knihovna tříd pro visuální reprezentaci a editaci diagramů | Práce na příbuzné téma
220.
Štacko, Peter
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Fotochemické aplikace 2-alkylfenacyl epoxidů | 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 Chemie / Organická chemie
Obhajoba diplomové práce: Fotochemické aplikace 2-alkylfenacyl epoxidů | Práce na příbuzné téma
221.
Š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
222.
Štefek, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Glykolurily pro přípravu molekulárních klecí | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Chemie / Organická chemie
Obhajoba diplomové práce: Glykolurily pro přípravu molekulárních klecí | Práce na příbuzné téma
223.
Š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
224.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, 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: Analysis of Parallel C++ Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, 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: Analysis of Parallel C++ Programs | Práce na příbuzné téma
225.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma
226.
Štourač, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: 3D editor for the RoFI platform | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: 3D editor for the RoFI platform | Práce na příbuzné téma
227.
Š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
228.
Štursa, Petr
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie
Obhajoba diplomové práce: Syntéza kaolinitu o různé krystalinitě a její vliv na vysokoteplotní fázové transformace | 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
Obhajoba diplomové práce: Syntéza kaolinitu o různé krystalinitě a její vliv na vysokoteplotní fázové transformace | Práce na příbuzné téma
229.
Teršl, Adam
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Paralelní programování a datové struktury v C++ | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Paralelní programování a datové struktury v C++ | Práce na příbuzné téma
230.
Texlová, Petra roz. Ludvíková
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Podpora sluchové percepce u žáků mladšího školního věku | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Podpora sluchové percepce u žáků mladšího školního věku | Práce na příbuzné téma
231.
Tibenská, Viktória
Fakulta: Fakulta informatiky
Rok: 2021, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Comparison of co-simulation frameworks for Smart Grids | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Comparison of co-simulation frameworks for Smart Grids | Práce na příbuzné téma
232.
Tkáč, Ladislav
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: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | 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: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Práce na příbuzné téma
233.
Tobolová, Nikola
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXIV. | Práce na příbuzné téma
Fakulta: Farmaceutická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Farmacie / Farmacie
Obhajoba diplomové práce: Syntéza látek s potenciálním antimikrobiálním účinkem XXIV. | Práce na příbuzné téma
234.
Toman, Jozef
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba disertační práce: Microwave plasma synthesis and surface modification of nanostructured materials | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Fyzika / Fyzika plazmatu
Obhajoba disertační práce: Microwave plasma synthesis and surface modification of nanostructured materials | Práce na příbuzné téma
235.
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
236.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Quantitative Formal Methods for High-level Robot Path Planning | Práce na příbuzné téma
237.
Tušil, Jan
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: An Executable Formal Semantics of C++ | 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: An Executable Formal Semantics of C++ | Práce na příbuzné téma
238.
Unčovský, Vít
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Práce na příbuzné téma
239.
Urban, Jan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | 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: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | Práce na příbuzné téma
240.
Urban, Jan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Interfacing C++ libraries to Matlab | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Interfacing C++ libraries to Matlab | Práce na příbuzné téma
241.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma
242.
Václavek, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Příprava a modifikace nanočástic | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Biochemie / Biochemie
Obhajoba bakalářské práce: Příprava a modifikace nanočástic | Práce na příbuzné téma
243.
Vaňko, Adam
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Renderování 3D textu v OpenGL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Renderování 3D textu v OpenGL | Práce na příbuzné téma
244.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
245.
Vejnár, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: C++ support for Stanse | Práce na příbuzné téma
246.
Vejtasa, Martin
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Big Data and Competition Law | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Big Data and Competition Law | Práce na příbuzné téma
247.
Veverka, František
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: Zobrazování informací o nasnímaných obrazech v softwaru Acquiarium | 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: Zobrazování informací o nasnímaných obrazech v softwaru Acquiarium | Práce na příbuzné téma
248.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma
249.
Vodička, Luděk
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Životní cyklus informačního systému výrobního podniku | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Životní cyklus informačního systému výrobního podniku | Práce na příbuzné téma
250.
Volánek, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza stříbrných nanočástic pro citlivou SERS analýzu diklofenaku v pitné vodě | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Syntéza stříbrných nanočástic pro citlivou SERS analýzu diklofenaku v pitné vodě | Práce na příbuzné téma