Theses on a related topic (having the same keywords):
metric interval temporal logic, monitoring, testing, model checking, linear temporal logic, linear temporal logic with degradation constraints, runtime verification, formula rewritingKeywords ordered alphabetically | Keywords ordered by occurrence rate
301.
Roupec, Jiří
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Pohybová aktivita mladých hráčů fotbalu a hokeje | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Pohybová aktivita mladých hráčů fotbalu a hokeje | Theses on a related topic
302.
Ř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
303.
Ř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
304.
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
305.
Schlemmer, Vojtěch
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitorovací podsystém pro WildFly 8 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Monitorovací podsystém pro WildFly 8 | Theses on a related topic
306.
Schubert, Vojtěch
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Video Game Localization Process in the Czech Republic | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Video Game Localization Process in the Czech Republic | Theses on a related topic
307.
Schwan, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implement detection of duplicate test coverage for Java applications | Theses on a related topic
Bachelor's thesis defence: Implement detection of duplicate test coverage for Java applications | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implement detection of duplicate test coverage for Java applications | Theses on a related topic
Bachelor's thesis defence: Implement detection of duplicate test coverage for Java applications | Theses on a related topic
308.
Skála, Tomáš
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Efekt plyometrického intervenčního programu na úroveň vybraných silových a rychlostních parametrů u hráčů ledního hokeje | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Fitness Trainer
Master's thesis defence: Efekt plyometrického intervenčního programu na úroveň vybraných silových a rychlostních parametrů u hráčů ledního hokeje | Theses on a related topic
309.
Skočík, Ondřej
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Coaching
Bachelor's thesis defence: Diagnostika silových schopností u dráhových cyklistů | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Coaching
Bachelor's thesis defence: Diagnostika silových schopností u dráhových cyklistů | Theses on a related topic
310.
Skřivánek, Petr
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Semilongitudinální studie sledování úrovně kondičních schopností mládežnických kategorií ve stolním tenise | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Semilongitudinální studie sledování úrovně kondičních schopností mládežnických kategorií ve stolním tenise | Theses on a related topic
311.
Slabý, Pavel
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Biology (4-years) / Animal Physiology
Doctoral thesis defence: Spontánní a podmíněná magnetorecepce živočichů | Theses on a related topic
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Biology (4-years) / Animal Physiology
Doctoral thesis defence: Spontánní a podmíněná magnetorecepce živočichů | Theses on a related topic
312.
Sluka, Markéta maiden name: Štegnerová
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Zur Rolle von Chunks und Automatisierungsprozessen bei der Aussprache in der Fremdsprache Deutsch. Eine Untersuchung zu Assimilationsprozessen bei tschechischen beginnenden Deutschlernenden | Theses on a related topic
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in German Language
Master's thesis defence: Zur Rolle von Chunks und Automatisierungsprozessen bei der Aussprache in der Fremdsprache Deutsch. Eine Untersuchung zu Assimilationsprozessen bei tschechischen beginnenden Deutschlernenden | Theses on a related topic
313.
Smetana, Lukáš
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Monitoring vybraných skupin fotbalistů pomocí technologie miCoach | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Monitoring vybraných skupin fotbalistů pomocí technologie miCoach | Theses on a related topic
314.
Stanik, Marián
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Economic Policy
Bachelor's thesis defence: Kartely a cenová transparence | Theses on a related topic
Bachelor's thesis defence: Kartely a cenová transparence | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Economic Policy
Bachelor's thesis defence: Kartely a cenová transparence | Theses on a related topic
Bachelor's thesis defence: Kartely a cenová transparence | Theses on a related topic
315.
Starastsina, Arina
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přístupnost webových stránek měst | 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: Přístupnost webových stránek měst | Theses on a related topic
316.
Stehlík, Libor
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Testování pohybových schopností a dovedností přípravky Tatranu Brno Bohunice | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Testování pohybových schopností a dovedností přípravky Tatranu Brno Bohunice | Theses on a related topic
317.
Stehlík, Libor
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Hodnocení tělesné zdatnosti 11 až 13 letých chlapců prostřednictvím fitness gramu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Hodnocení tělesné zdatnosti 11 až 13 letých chlapců prostřednictvím fitness gramu | Theses on a related topic
318.
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
319.
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
320.
Stuchlík, Dominik
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Performance testing of Messaging Protocols | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Performance testing of Messaging Protocols | Theses on a related topic
321.
Suchý, Petr
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Systém pro monitoring rádií | 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: Systém pro monitoring rádií | Theses on a related topic
322.
Svoboda, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Local service monitoring status of Linux operating systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Local service monitoring status of Linux operating systems | Theses on a related topic
323.
Svoboda, Jaroslav
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Rozvoj kondičních schopností ve sportovních třídách v rámci ŠVP | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Rozvoj kondičních schopností ve sportovních třídách v rámci ŠVP | Theses on a related topic
324.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Control Strategy Synthesis for Path Planning under Temporal Constraints | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Control Strategy Synthesis for Path Planning under Temporal Constraints | Theses on a related topic
325.
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
326.
Swiechová, Sabina
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úroveň matematických zkušenosti z oblasti geometrie jako součást připravenosti dětí pro vstup do školy | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úroveň matematických zkušenosti z oblasti geometrie jako součást připravenosti dětí pro vstup do školy | Theses on a related topic
327.
Sýkora, Pavel
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Náprava environmentálních škod na příkladě podniku Diamo | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Náprava environmentálních škod na příkladě podniku Diamo | Theses on a related topic
328.
Sznapka, Jakub
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Úroveň kondičních schopností u výkonnostních hráčů fotbalu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Úroveň kondičních schopností u výkonnostních hráčů fotbalu | Theses on a related topic
329.
Šafařík, Jan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Cloud Infrastructure Health Monitoring System | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Cloud Infrastructure Health Monitoring System | Theses on a related topic
330.
Šalagovič, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic
331.
Šebestová, Simona
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Hodnocení výslovnosti ve výuce anglického jazyka | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Hodnocení výslovnosti ve výuce anglického jazyka | Theses on a related topic
332.
Šeděnka, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic
333.
Šejnohová, Jana
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Obnovování volného pohybu osob v Evropské unii omezeného pandemií covid-19 pomocí karantén, testů a očkování | Theses on a related topic
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Obnovování volného pohybu osob v Evropské unii omezeného pandemií covid-19 pomocí karantén, testů a očkování | Theses on a related topic
334.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
335.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
336.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
337.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic
338.
Šipl, Milan
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Monitoring zápasového zatížení u hráčů fotbalu (kategorie U19) | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Monitoring zápasového zatížení u hráčů fotbalu (kategorie U19) | Theses on a related topic
339.
Šiška, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
340.
Škopíková, Iveta
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Studium parametrů pasivních vzorkovačů pro monitorování polárních organických znečišťujících látek ve vodním prostředí | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Studium parametrů pasivních vzorkovačů pro monitorování polárních organických znečišťujících látek ve vodním prostředí | Theses on a related topic
341.
Škrášek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Informační systém pro monitoring toxických sinic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Informační systém pro monitoring toxických sinic | Theses on a related topic
342.
Škůrek, Jakub
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Přehled nástrojů pro sledování a vizualizací síťového provozu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Přehled nástrojů pro sledování a vizualizací síťového provozu | Theses on a related topic
343.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
344.
Š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
345.
Šorejsová, Markéta maiden name: Varvařovská
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Specifika ošetřovatelské péče o pacienty s intrakraniálním čidlem | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Specifika ošetřovatelské péče o pacienty s intrakraniálním čidlem | Theses on a related topic
346.
Š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
347.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
348.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
349.
Šustková, Martina
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Javoříčské jeskyně: dynamika a mineralizace skapových vod. | Theses on a related topic
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Geology / Geology
Bachelor's thesis defence: Javoříčské jeskyně: dynamika a mineralizace skapových vod. | Theses on a related topic
350.
Šustková, Martina
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Geology / Geology
Master's thesis defence: Vztah dynamiky a složení jeskynních skapových vod | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Geology / Geology
Master's thesis defence: Vztah dynamiky a složení jeskynních skapových vod | Theses on a related topic