Theses on a related topic (having the same keywords):
metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuraciesKeywords ordered alphabetically | Keywords ordered by occurrence rate
201.
Kolář, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Business Activity Monitoring | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Business Activity Monitoring | Theses on a related topic
202.
Komár, Matej
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Quality Assurance in Game Development | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Quality Assurance in Game Development | Theses on a related topic
203.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
204.
Korábová, Hana
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Monitoring centrálního venózního tlaku | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Monitoring centrálního venózního tlaku | Theses on a related topic
205.
Koscielniak, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Extending Test Management Tool | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Extending Test Management Tool | Theses on a related topic
206.
Kosková, Pavla
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Hodnocení metod pro stanovení biodostupnosti perzistentních organických polutantů v sedimentech. | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Environmental Chemistry
Master's thesis defence: Hodnocení metod pro stanovení biodostupnosti perzistentních organických polutantů v sedimentech. | Theses on a related topic
207.
Kostelníková, Alena
Faculty: Faculty of Sports Studies
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Physical Education and Sport / Lower Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Russian Language and Literature
Master's thesis defence: Vliv kompenzačních cvičení na oslabené svalové skupiny u hráčů tenisu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Physical Education and Sport / Lower Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Russian Language and Literature
Master's thesis defence: Vliv kompenzačních cvičení na oslabené svalové skupiny u hráčů tenisu | Theses on a related topic
208.
Koščák, Branislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: IPFIX Packet Generator | 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: IPFIX Packet Generator | Theses on a related topic
209.
Koščák, Branislav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Undefined behaviour in language C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Undefined behaviour in language C | Theses on a related topic
210.
Kousal, Viktor
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Návrh infrastruktury SW oddělení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Návrh infrastruktury SW oddělení | Theses on a related topic
211.
Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
212.
Kováčik, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulation-based analysis of large-scale dynamical systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulation-based analysis of large-scale dynamical systems | Theses on a related topic
213.
Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic
214.
Koželuhová, Lucie
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Natural Science for Education, Physical Education and Sport
Bachelor's thesis defence: Úroveň zdatnosti vybrané věkové skupiny žáků ZŠ | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Natural Science for Education, Physical Education and Sport
Bachelor's thesis defence: Úroveň zdatnosti vybrané věkové skupiny žáků ZŠ | Theses on a related topic
215.
Krahulcová, Soňa
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: PhDr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education
Advanced Master's thesis defence: Echokardiografické a spiroergometrické parametry u vytrvalostních sportovců, mužů ve věku od 20 do 30 let. | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: PhDr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education
Advanced Master's thesis defence: Echokardiografické a spiroergometrické parametry u vytrvalostních sportovců, mužů ve věku od 20 do 30 let. | Theses on a related topic
216.
Kratochvíla, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic
217.
Kratochvílová, Pavla
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
218.
Krausová, Veronika
Faculty: Faculty of Arts
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Internet věcí (Internet of Things) a jeho bezpečnost | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Internet věcí (Internet of Things) a jeho bezpečnost | Theses on a related topic
219.
Kredátusová, Mária
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: The Benefits of extensive reading in ELT | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: The Benefits of extensive reading in ELT | Theses on a related topic
220.
Krchňavý, Ludvík
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Physical Geography)
Bachelor's thesis defence: Hydromorfologická kvalita malých vodních toků na území Brna | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Physical Geography)
Bachelor's thesis defence: Hydromorfologická kvalita malých vodních toků na území Brna | Theses on a related topic
221.
Kršáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Strategie a techniky učení vysokoškolských studentů | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Strategie a techniky učení vysokoškolských studentů | Theses on a related topic
222.
Kryšková, Martina
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Implementing and using i-school in conditions of primary school Mánesova Otrokovice | Theses on a related topic
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Implementing and using i-school in conditions of primary school Mánesova Otrokovice | Theses on a related topic
223.
Křenek, Jan
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics, Social Informatics
Bachelor's thesis defence: Automatizace vývoje a údržby rezervačního systému LEMMA | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics, Social Informatics
Bachelor's thesis defence: Automatizace vývoje a údržby rezervačního systému LEMMA | Theses on a related topic
224.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
225.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic
226.
Křivánek, Milan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikační nástroj pro komponentové systémy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikační nástroj pro komponentové systémy | Theses on a related topic
227.
Kubáček, Jáchym
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Využití validovaného testu pro hodnocení vizualizační gramotnosti | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Využití validovaného testu pro hodnocení vizualizační gramotnosti | Theses on a related topic
228.
Kučera, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Monitorovací nástroje pro objekty a zařízení sítě BACnet | 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: Monitorovací nástroje pro objekty a zařízení sítě BACnet | Theses on a related topic
229.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic
230.
Kučerová, Jitka
Faculty: Faculty of Medicine
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Monitorování hladin ethylenglykolu při podezření na intoxikaci nemrznoucí kapalinou | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Monitorování hladin ethylenglykolu při podezření na intoxikaci nemrznoucí kapalinou | Theses on a related topic
231.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic
232.
Kuklíková, Šárka
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Monitorování osudu farmaceutických látek v procesu čištění odpadních vod | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Monitorování osudu farmaceutických látek v procesu čištění odpadních vod | Theses on a related topic
233.
Kuneš, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Detekce vícefázových síťových útoků | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Detekce vícefázových síťových útoků | Theses on a related topic
234.
Kurcáb, Marián
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Úroveň pohybové zdatnosti lyžařů věkové kategorie 11 – 15 let | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Fitness and Personal Trainer / Fitness and Personal Trainer
Bachelor's thesis defence: Úroveň pohybové zdatnosti lyžařů věkové kategorie 11 – 15 let | Theses on a related topic
235.
Kurdiovská, Lucie
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Společnost pod dohledem: postoje občanů k monitoringu v online prostředí | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Společnost pod dohledem: postoje občanů k monitoringu v online prostředí | Theses on a related topic
236.
Kurek, Pavel
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Monitorace hemodynamiky z pohledu všeobecných sester intenzivní péče | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Monitorace hemodynamiky z pohledu všeobecných sester intenzivní péče | Theses on a related topic
237.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic
238.
Langmannová, Pavlína
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Hodnocení ve výuce | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Hodnocení ve výuce | Theses on a related topic
239.
Láska, Ľuboš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování parametrizovaných systémů v jazyce DiVinE | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | 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: Modelování parametrizovaných systémů v jazyce DiVinE | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
240.
Laššák, Marek
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Anomalies detection on Kubernetes applications | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Anomalies detection on Kubernetes applications | Theses on a related topic
241.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic
242.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic
243.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic
244.
Lávička, Otakar
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zákaznický systém pro poskytovatele Internetu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zákaznický systém pro poskytovatele Internetu | Theses on a related topic
245.
Lenčo, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic
246.
Leško, Matej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Enhanced remote execution layer for Deployment testing framework | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Enhanced remote execution layer for Deployment testing framework | Theses on a related topic
247.
Lorencová, Jarmila
Faculty: Faculty of Medicine
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Physiotherapy
Master's thesis defence: Účinnost rehabilitace u pacientů s akutní cévní mozkovou příhodou | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Physiotherapy
Master's thesis defence: Účinnost rehabilitace u pacientů s akutní cévní mozkovou příhodou | Theses on a related topic
248.
Ľupták, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | 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: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic
249.
Lžičař, Michal
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Theses on a related topic
Bachelor's thesis defence: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Theses on a related topic
Bachelor's thesis defence: Rozvoj rychlostních schopností u mládeže v kategorii dívek U 13 a U 15 | Theses on a related topic
250.
Macková, Martina
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Srovnání motorické výkonnosti a tréninkových plánů dvou týmů ve fotbale žen | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Srovnání motorické výkonnosti a tréninkových plánů dvou týmů ve fotbale žen | Theses on a related topic