Theses on a related topic (having the same keywords):
component-based systems, component interaction, substitutability., automata-based modelling, formal analysisKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Bühnová, Barbora
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Analysis of Component-Based Systems in View of Component Interactions | 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: Formal Analysis of Component-Based Systems in View of Component Interactions | Theses on a related topic
2.
Bartošová, Eliška
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Humanities / Aesthetics, Environmental Studies
Bachelor's thesis defence: Prostředky navození umělecké iluze | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Humanities / Aesthetics, Environmental Studies
Bachelor's thesis defence: Prostředky navození umělecké iluze | Theses on a related topic
3.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
4.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic
5.
Dávidová, Eva
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Analysis of English Medical Terminology from the Field of Digestive System | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Analysis of English Medical Terminology from the Field of Digestive System | Theses on a related topic
6.
Fialová, Michaela
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Music for Education
Bachelor's thesis defence: Patetická sonáta Ludwiga van Beethovena. Odlišnosti jednotlivých vydání | Theses on a related topic
7.
Hubáčková, Vendula
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Specifika formální a obsahové analýzy Tematicko apercepčního testu u dětí se specifickými poruchami učení | Theses on a related topic
8.
Chloupek, Tomáš
Faculty: Faculty of Education
Year: 2018, 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 Music
Master's thesis defence: GIOACHINO ROSSINI: STABAT MATER. Analýza díla a její následné využití v hodinách hudební výchovy na základních školách. | 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 Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Music
Master's thesis defence: GIOACHINO ROSSINI: STABAT MATER. Analýza díla a její následné využití v hodinách hudební výchovy na základních školách. | Theses on a related topic
9.
Jančinová, Mária
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Tematický apercepčný test – špecifiká obsahovej a formálnej analýzy u pacientov závislých na alkohole a iných návykových látkach | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Tematický apercepčný test – špecifiká obsahovej a formálnej analýzy u pacientov závislých na alkohole a iných návykových látkach | Theses on a related topic
10.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Analysis of Stochastic Discrete Event Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Analysis of Stochastic Discrete Event Systems | Theses on a related topic
11.
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
12.
Petrlová, Monika
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Poetika textů Karla Plíhala | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Poetika textů Karla Plíhala | Theses on a related topic
13.
Š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
14.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
15.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic
16.
Vladík, Šimon
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Psychology, Theory of Interactive Media
Bachelor's thesis defence: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Theses on a related topic
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Psychology, Theory of Interactive Media
Bachelor's thesis defence: Podoby onboardingu digitálních her v žánru 3D platformer - případová studie | Theses on a related topic