Theses on a related topic (having the same keywords):
parallel, divine, lart, implementation, c, c++, llvm, llvm transformation, formal verification, model checking, weak memory models, total store orderKeywords ordered alphabetically | Keywords ordered by occurrence rate
351.
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++
352.
Š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
353.
Š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
354.
Š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
355.
Š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
356.
Š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
357.
Ší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
358.
Šlachtová, Monika
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Implementation of Elasticsearch into EAS Framework | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Implementation of Elasticsearch into EAS Framework | Theses on a related topic
359.
Šlajs, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: DHCP server s podporou databáze a SNMP | 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: DHCP server s podporou databáze a SNMP | Theses on a related topic
360.
Šmaterová, Petra
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Analýza využití filozofie Kaizen při řízení organizace z pohledu českých Kaizen odborníků | Theses on a related topic
361.
Šmerdová, Eva
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Účetní informační systémy | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Účetní informační systémy | Theses on a related topic
362.
Š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
363.
Šmídová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Zdravotní politika a plány krajů ČR | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Zdravotní politika a plány krajů ČR | Theses on a related topic
364.
Šmídová, Nikola
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Návrh systému hodnocení zaměstnanců ve vybrané organizaci XY | Theses on a related topic
365.
Šrom, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna tříd pro visuální reprezentaci a editaci diagramů | 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: Knihovna tříd pro visuální reprezentaci a editaci diagramů | Theses on a related topic
366.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | 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: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic
367.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Aplikace pro správu virtuálních webových serverů na FSS MU | 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: Aplikace pro správu virtuálních webových serverů na FSS MU | Theses on a related topic
368.
Š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
369.
Štefánik, Michal
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Virus Zika - nová globální hrozba? | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Molecular Biology and Genetics
Bachelor's thesis defence: Virus Zika - nová globální hrozba? | Theses on a related topic
370.
Štefek, Miroslav
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Law and Business
Bachelor's thesis defence: Smlouvy bankovních služeb (obchodní podmínky) | Theses on a related topic
371.
Štěpánek, Marek
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Volně dostupný software pro implementaci geografických informačních systémů do škol | Theses on a related topic
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Volně dostupný software pro implementaci geografických informačních systémů do škol | Theses on a related topic
372.
Štourač, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: 3D editor for the RoFI platform | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: 3D editor for the RoFI platform | Theses on a related topic
373.
Švajdová, Petra
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Vnímání společenské odpovědnosti firmy ze strany jejích zaměstnanců | Theses on a related topic
374.
Táborský, Adam
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Monitoring trhu práce a jeho implementace ve Švédsku | Theses on a related topic
375.
Teršl, Adam
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní programování a datové struktury v C++ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní programování a datové struktury v C++ | Theses on a related topic
376.
Tkáč, Ladislav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostní analýza Symbian OS na mobilních zařízeních Nokia Series60 | Theses on a related topic
377.
Toman, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: LLVM IR service for Fedora | Theses on a related topic
378.
Tomovič, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Slicing of Parallel Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Slicing of Parallel Programs | Theses on a related topic
379.
Trnková, Klára
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Pohádka v hodinách výtvarné výchovy na prvním stupni základní školy | Theses on a related topic
380.
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
381.
Trúsiková, Daniela maiden name: Kozempelová
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Implementácia nových vedeckých poznatkov do ošetrovateľskej praxe v prostredí intenzívnej starostlivosti | Theses on a related topic
382.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
383.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
384.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear 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: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
385.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic
386.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | 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: An Executable Formal Semantics of C++ | Theses on a related topic
387.
Tvrdoň, Čeněk
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Posouzení účinnosti a efektivity vzdělávacího programu | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Public and Social Policy and Human Resources / Personnel management and organisational development
Master's thesis defence: Posouzení účinnosti a efektivity vzdělávacího programu | Theses on a related topic
388.
Uhlík, Vladimír
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Compiling C to Cthulhu | Theses on a related topic
389.
Urban, Jan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Zapojeni knihovny Morph-M do Matlabu pomoci SWIG | Theses on a related topic
390.
Urban, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Interfacing C++ libraries to Matlab | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Interfacing C++ libraries to Matlab | Theses on a related topic
391.
Urban, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Adapting SBT-Fizzer for Test-Comp | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Adapting SBT-Fizzer for Test-Comp | Theses on a related topic
392.
Urbánková, Vlasta maiden name: Pelajová
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Interaktivní materiály k středoškolské matematické analýze | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Interaktivní materiály k středoškolské matematické analýze | Theses on a related topic
393.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
394.
Vaculík, Milan
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Theses on a related topic
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Směrnice 93/13/EHS a její implementace do soukromého práva ČR (ochrana spotřebitele) | Theses on a related topic
395.
Vaněk, Libor
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní souborové systémy pro Linux | 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: Paralelní souborové systémy pro Linux | Theses on a related topic
396.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
397.
Vaňko, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Renderování 3D textu v OpenGL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Renderování 3D textu v OpenGL | Theses on a related topic
398.
Vávra, Miloslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapování preprocesovaného kódu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Mapování preprocesovaného kódu | Theses on a related topic
399.
Vejnár, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: C++ support for Stanse | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: C++ support for Stanse | Theses on a related topic
400.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic