Theses on a related topic (having the same keywords):
divine, gui, qt, editor, simulator, model checking, model checker, dve, ltlKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
252.
Rumanová, Jolana
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Sociology
Bachelor's thesis defence: Zajímavá povolání - soubor fotoreportáží pro portál IHNED.cz | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Sociology
Bachelor's thesis defence: Zajímavá povolání - soubor fotoreportáží pro portál IHNED.cz | Theses on a related topic
253.
Rumlová, Kateřina
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Journalism
Bachelor's thesis defence: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Theses on a related topic
Bachelor's thesis defence: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Journalism
Bachelor's thesis defence: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Theses on a related topic
Bachelor's thesis defence: Sada rozhovorů s žurnalisty na různých pozicích novinářské profese | Theses on a related topic
254.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
255.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
256.
Said, Bedřich
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Processing of the Data Measured by UAV | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Processing of the Data Measured by UAV | Theses on a related topic
257.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
258.
Shyshkina, Hanna
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulace chování NMR v cloudu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulace chování NMR v cloudu | Theses on a related topic
259.
Schneider, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Simulátor kovotlačitelských reliéfů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Simulátor kovotlačitelských reliéfů | Theses on a related topic
260.
Schwarzová, Zuzana
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementácia designu pre webovú platformu | Theses on a related topic
Bachelor's thesis defence: Návrh a implementácia designu pre webovú platformu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementácia designu pre webovú platformu | Theses on a related topic
Bachelor's thesis defence: Návrh a implementácia designu pre webovú platformu | Theses on a related topic
261.
Skipala, Milan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor rozložení modelových drah | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor rozložení modelových drah | Theses on a related topic
262.
Skopal, Jiří
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic
263.
Smoleniak, Samuel
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Similarity analysis of human faces using cutting planes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Similarity analysis of human faces using cutting planes | Theses on a related topic
264.
Sorentíny, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Design architecture and implementation of development environment for ATML (Automated Test Mark-Up Language). | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Design architecture and implementation of development environment for ATML (Automated Test Mark-Up Language). | Theses on a related topic
265.
Sotolář, Ondřej
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro podporu automatizace testování GUI | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro podporu automatizace testování GUI | Theses on a related topic
266.
Staňa, Marek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické uživatelské rozhraní pro nástroj Tuned | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické uživatelské rozhraní pro nástroj Tuned | Theses on a related topic
267.
Staňa, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
268.
Staša, Oliver
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Návrh webové prezentace oboru TIM: analýza procesu tvorby webu z pozice programátora. | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Návrh webové prezentace oboru TIM: analýza procesu tvorby webu z pozice programátora. | Theses on a related topic
269.
Stehlík, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Optimization of intrusion detection systems in wireless sensor networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Optimization of intrusion detection systems in wireless sensor networks | Theses on a related topic
270.
Stehlík, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Information Technology Security
Advanced Master's thesis defence: Intrusion detection and optimization in wireless sensor networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Information Technology Security
Advanced Master's thesis defence: Intrusion detection and optimization in wireless sensor networks | Theses on a related topic
271.
Stoklasa, Luděk
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zvukový editor | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zvukový editor | Theses on a related topic
272.
Straka, Stanislav
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
273.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic
274.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic
275.
Strejček, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
276.
Suchánek, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webová aplikace pro testování dialogových rozhraní metodou Wizard of Oz | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Webová aplikace pro testování dialogových rozhraní metodou Wizard of Oz | Theses on a related topic
277.
Suchánek, Michal
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Vysokopolygonální modelování s využitím mapování | Theses on a related topic
Bachelor's thesis defence: Editor efektů pro fotografie | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Vysokopolygonální modelování s využitím mapování | Theses on a related topic
Bachelor's thesis defence: Editor efektů pro fotografie | Theses on a related topic
278.
Suchomel, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Automatické testování nástroje DiVinE | Theses on a related topic
279.
Svoboda, Tomáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Klastrování a rozdělování zátěže u J2EE aplikací | Theses on a related topic
Master's thesis defence: Klastrování a rozdělování zátěže u J2EE aplikací
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Klastrování a rozdělování zátěže u J2EE aplikací | Theses on a related topic
Master's thesis defence: Klastrování a rozdělování zátěže u J2EE aplikací
280.
Svobodová, Lenka
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Design softwarové aplikace pro správu dokumentů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Design softwarové aplikace pro správu dokumentů | Theses on a related topic
281.
Svobodová, Marcela
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / European Studies, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Soubor publicistických textů „Na kávě s...“ v deníku MF DNES (v regionální příloze Brno) | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / European Studies, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Soubor publicistických textů „Na kávě s...“ v deníku MF DNES (v regionální příloze Brno) | Theses on a related topic
282.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic
283.
Sýkorová, Šárka maiden name: Rieglová
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: A. M. Píša – kritik, lektor, redaktor | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: A. M. Píša – kritik, lektor, redaktor | Theses on a related topic
284.
Šandalová, Iveta
Faculty: Faculty of Law
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Law and Legal Science / Law (combination/specialization: Civil Law)
Advanced Master's thesis defence: Právna ochrana grafického používateľského rozhrania | Theses on a related topic
Faculty: Faculty of Law
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Law and Legal Science / Law (combination/specialization: Civil Law)
Advanced Master's thesis defence: Právna ochrana grafického používateľského rozhrania | Theses on a related topic
285.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic
286.
Šebová, Martina
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro párování informací z různých datových zdrojů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro párování informací z různých datových zdrojů | Theses on a related topic
287.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic
288.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic
289.
Šilhavíková, Lenka
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Porovnání a zhodnocení edic "Národních báchorek a pověstí" Boženy Němcové | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Porovnání a zhodnocení edic "Národních báchorek a pověstí" Boženy Němcové | Theses on a related topic
290.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
291.
Šmijáková, Adriana
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Modul na kvantitativní analýzu a vizualizaci výsledků trackování živých buněk | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Modul na kvantitativní analýzu a vizualizaci výsledků trackování živých buněk | Theses on a related topic
292.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
293.
Šopf, Petr
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Porovnání platforem pro návrh a tvorbu GUI na platformě C#/.net | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Porovnání platforem pro návrh a tvorbu GUI na platformě C#/.net | Theses on a related topic
294.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
295.
Štěrba, Libor
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Využití ICT při výuce v rekvalifikačních kurzech | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Využití ICT při výuce v rekvalifikačních kurzech | Theses on a related topic
296.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic
297.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic
298.
Štursa, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Knihovna pro tvorbu GUI v mobilních zařízeních | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Knihovna pro tvorbu GUI v mobilních zařízeních | Theses on a related topic
299.
Tauer, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Uživatelské rozhraní pro vizualizaci rozsáhlých sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Uživatelské rozhraní pro vizualizaci rozsáhlých sítí | Theses on a related topic
300.
Tesáček, Ondřej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Arc-Based Vector Graphics Editor | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Arc-Based Vector Graphics Editor | Theses on a related topic