Theses on a related topic (having the same keywords):
lart, implementation, divine, abstraction, symbolic model checking, program transformation, c, llvm, c++, formal verification, model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
351.
Režný, Pavel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | 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: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
352.
Richtárechová, Lucia
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Regulace finančních trhů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Regulace finančních trhů | Theses on a related topic
353.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic
354.
Rondziková, Natália
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Smart Cities Concept in Slovakia. Case Study on Obstacles in Implementation of Smart City Projects in Slovak Municipalities | Theses on a related topic
355.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic
356.
Rozum, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic
357.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic
358.
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
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
359.
Růžičková, Martina
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Zirkonoxidová keramika – vědecké pozadí a implementace do výuky technologií pro obor Asistent zubního technika a Zubní technik | Theses on a related topic
360.
Ř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
361.
Ř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
362.
Řechtáčková, Anna
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving out-of-bound access checking in Symbiotic | 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: Improving out-of-bound access checking in Symbiotic | Theses on a related topic
363.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Czech Question Answer Selection using Recurrent Neural Networks | 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: Czech Question Answer Selection using Recurrent Neural Networks | Theses on a related topic
364.
Sabol, Radoslav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Propaganda Detection using Stylometric Text Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Propaganda Detection using Stylometric Text Analysis | Theses on a related topic
365.
Sedláčková, Věra
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Gallery Education and Arts Facilitation
Master's thesis defence: Duchovní krajina v malbě | Theses on a related topic
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Gallery Education and Arts Facilitation
Master's thesis defence: Duchovní krajina v malbě | Theses on a related topic
366.
Sedlák, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic
367.
Sedláková, Kateřina
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Jindřich Chalupecký o umění. Úvahy ze 40. a 60. let | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Jindřich Chalupecký o umění. Úvahy ze 40. a 60. let | Theses on a related topic
368.
Sedláková, Nikola
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: European Studies / European Studies
Master's thesis defence: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: European Studies / European Studies
Master's thesis defence: Relokace pracovních migrantů ze třetích zemí na území České republiky a vliv EU | Theses on a related topic
369.
Seifert, Lumír
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Návraty | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Návraty | Theses on a related topic
370.
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
371.
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
372.
Schwarzová, Tereza
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic
373.
Slabá, Jolana
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Expresívní materiálové antimalby Aleše Veselého | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Expresívní materiálové antimalby Aleše Veselého | Theses on a related topic
374.
Slezáček, Václav
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Theses on a related topic
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Návrh a ověření modulu vietnamské kuchyně v rámci předmětu technologie pokrmů | Theses on a related topic
375.
Smetanová, Alena
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy
Master's thesis defence: Posouzení efektivity probačního programu pro dospělé osoby | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy
Master's thesis defence: Posouzení efektivity probačního programu pro dospělé osoby | Theses on a related topic
376.
Smutek, Martin
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Doctoral thesis defence: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Doctoral thesis defence: Vnější podmínky a jednání aktérů procesu implementace lokálního sociálního programu | Theses on a related topic
377.
Smýkalová, Iveta
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Informovanost všeobecných sester o Evidence-Based Practice | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Intensive Care
Master's thesis defence: Informovanost všeobecných sester o Evidence-Based Practice | Theses on a related topic
378.
Soukal, Jan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor letteristické stylizace rastrového obrazu | 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: Editor letteristické stylizace rastrového obrazu | Theses on a related topic
379.
Stana, Ivan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Využití knihovny FreeLing pro češtinu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Využití knihovny FreeLing pro češtinu | Theses on a related topic
380.
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
381.
Straková, Lucie
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Zhodnocení cílů a programové teorie vzdělávacího programu kariérního poradentsví | Theses on a related topic
382.
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
383.
Strehovský, Michal
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Statická analýza ukazatelů pro jazyk C | Theses on a related topic
384.
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
385.
Stuchlík, Mikoláš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Idiomatické rozhraní jazyka Swift pro práci s knihovnou GTK+ | Theses on a related topic
386.
Stupka, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický engine na základech OpenGL pro podporu 3D animací | 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: Grafický engine na základech OpenGL pro podporu 3D animací | Theses on a related topic
387.
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
388.
Sukup, Jiří
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Zavedení modelu EFQM řízení kvality v Policii České republiky a jeho posouzení řadovými pracovníky | Theses on a related topic
389.
Svoboda, Petr
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance and Law / Finance and Law
Bachelor's thesis defence: Participativní rozpočet - trend u místních rozpočtů? | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Finance and Law / Finance and Law
Bachelor's thesis defence: Participativní rozpočet - trend u místních rozpočtů? | Theses on a related topic
390.
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
391.
Szmek, Petr
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Nástroj na úpravu programů v C++
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Nástroj na úpravu programů v C++
392.
Šamlotová, Michaela
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Naplňování rámcových strategických dokumentů Evropské unie – případ strategie Evropa 2020 a Lisabonské strategie | Theses on a related topic
393.
Šavelka, Jaromír
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Law of information and communication technologies)
Advanced Master's thesis defence: Autorskoprávní ochrana funkcionality softwaru | Theses on a related topic
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Law of information and communication technologies)
Advanced Master's thesis defence: Autorskoprávní ochrana funkcionality softwaru | Theses on a related topic
394.
Ševčíková, Dana
Faculty: Faculty of Education
Year: 2018, 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: Critical thinking in ESL lessons | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, 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: Critical thinking in ESL lessons | Theses on a related topic
395.
Š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
396.
Š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
397.
Šimek, Miloš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | 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: Optimalizovaná implementace korektoru sekvenačních chyb ECHO | Theses on a related topic
398.
Šimková, Dominika
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Secondary School Teacher Training in Arts
Master's thesis defence: Historická geografia mojej mysle | Theses on a related topic
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Secondary School Teacher Training in Arts
Master's thesis defence: Historická geografia mojej mysle | Theses on a related topic
399.
Š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
400.
Šírová, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Typické výslovnostní chyby českých rodilých mluvčí a metody jejich odstraňování | Theses on a related topic