Theses on a related topic (having the same keywords):
analyza suborov, detekcia formatov, formaty suborov, bezpecnost, mime, c++, avast, staticka analyza, suborove formaty, detekcia hrozieb, lasarisKeywords ordered alphabetically | Keywords ordered by occurrence rate
251.
Kovařík, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Bezpečnost mobilních aplikací vyvinutých v prostředí Android OS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Bezpečnost mobilních aplikací vyvinutých v prostředí Android OS | Theses on a related topic
252.
Kozel, Miroslav
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Technické obory)
Bachelor's thesis defence: Součinnost jednotek HZS s IZS při dopravních nehodách | Theses on a related topic
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Technické obory)
Bachelor's thesis defence: Součinnost jednotek HZS s IZS při dopravních nehodách | Theses on a related topic
253.
Koželuh, Martin
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Social Studies Basics
Master's thesis defence: Bezpečnost a civilní ochrana jako součást osnov ZSV | Theses on a related topic
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Social Studies Basics
Master's thesis defence: Bezpečnost a civilní ochrana jako součást osnov ZSV | Theses on a related topic
254.
Kramec, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro dotazovací rozhraní služby EGEE LB | 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: Java API pro dotazovací rozhraní služby EGEE LB | Theses on a related topic
255.
Krátký, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Obecný nástroj pro tvorbu podnikových informačních systémů | Theses on a related topic
Master's thesis defence: Obecný nástroj pro tvorbu podnikových informačních systémů | 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: Obecný nástroj pro tvorbu podnikových informačních systémů | Theses on a related topic
Master's thesis defence: Obecný nástroj pro tvorbu podnikových informačních systémů | Theses on a related topic
256.
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
257.
Krč, Michal
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Ochrana přenosu dat v přenosovém kanále systému Bluetooth | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Ochrana přenosu dat v přenosovém kanále systému Bluetooth | Theses on a related topic
258.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++
259.
Krejčí, Jan
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education
Master's thesis defence: Cyklotrasy po historické Česko - Moravské hranici | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education
Master's thesis defence: Cyklotrasy po historické Česko - Moravské hranici | Theses on a related topic
260.
Krejčí, Jiří
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu | Theses on a related topic
261.
Kremr, Matěj
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: Analýza bezpečnostní situace Československa v letech 1918-1945 | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: Analýza bezpečnostní situace Československa v letech 1918-1945 | Theses on a related topic
262.
Kresáč, Matej
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Prejavy asymetrie vo vzájomných vzťahoch Moldavskej republiky a Ruskej federácie od rozpadu ZSSR do súčasnosti | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Prejavy asymetrie vo vzájomných vzťahoch Moldavskej republiky a Ruskej federácie od rozpadu ZSSR do súčasnosti | Theses on a related topic
263.
Kresáč, Matej
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Postavenie Ukrajiny v geopolitickej perspektíve Ruskej federácie | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Postavenie Ukrajiny v geopolitickej perspektíve Ruskej federácie | Theses on a related topic
264.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic
265.
Krchňavý, Jozef
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace bezpečného licenčního serveru | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace bezpečného licenčního serveru | Theses on a related topic
266.
Kročil, Bronislav
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Praxe dokazování kyberkriminality | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Praxe dokazování kyberkriminality | Theses on a related topic
267.
Kroulík, Jan
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Právní postavení Policie ČR a obecní policie | Theses on a related topic
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Právní postavení Policie ČR a obecní policie | Theses on a related topic
268.
Krška, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Implementace služby jednotného přihlašování použitím platformy Shibboleth | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Implementace služby jednotného přihlašování použitím platformy Shibboleth | Theses on a related topic
269.
Krupička, Václav
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Získávání a zdokonalování odborné způsobilosti k řízení motorových vozidel se zaměřením na výuku předmětu „Teorie a zásady bezpečné jízdy“ | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Získávání a zdokonalování odborné způsobilosti k řízení motorových vozidel se zaměřením na výuku předmětu „Teorie a zásady bezpečné jízdy“ | Theses on a related topic
270.
Krusberský, Radomír
Faculty: Faculty of Education
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Řešení problematiky obsahu výuky dřevořezby v oboru truhlář | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Řešení problematiky obsahu výuky dřevořezby v oboru truhlář | Theses on a related topic
271.
Krystyník, Martin
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Political Science
Bachelor's thesis defence: Trendy v budování polských ozbrojených sil po vstupu do NATO | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Political Science
Bachelor's thesis defence: Trendy v budování polských ozbrojených sil po vstupu do NATO | Theses on a related topic
272.
Křečková, Markéta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Vnímání soukromí na sociální síti Instagram pohledem uživatelů | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Vnímání soukromí na sociální síti Instagram pohledem uživatelů | Theses on a related topic
273.
Kuběnová, Gabriela
Faculty: Faculty of Education
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Využití chemických znalostí ze základní školy | Theses on a related topic
Faculty: Faculty of Education
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Využití chemických znalostí ze základní školy | Theses on a related topic
274.
Kučera, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automatická detekce uváznutí v C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automatická detekce uváznutí v C | Theses on a related topic
275.
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
276.
Kučerová, Petra
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Elektronické bankovnictví | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Elektronické bankovnictví | Theses on a related topic
277.
Kugler, Ondřej
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Security aspects of immigration: Norwegian case study and its wider implications | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Security aspects of immigration: Norwegian case study and its wider implications | Theses on a related topic
278.
Kugler, Ondřej
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Krizová připravenost nemocnic České republiky | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Krizová připravenost nemocnic České republiky | Theses on a related topic
279.
Kulík, Luboš
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Dopravní výchova ve vzdělávání ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Dopravní výchova ve vzdělávání ZŠ | Theses on a related topic
280.
Kulík, Luboš
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Dopravní výchova pro žáky SŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Dopravní výchova pro žáky SŠ | Theses on a related topic
281.
Kůr, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: On selected privacy and security issues in wireless sensor networks | 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: On selected privacy and security issues in wireless sensor networks | Theses on a related topic
282.
Kůr, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Privacy preserving protocols for wireless sensor networks | 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: Privacy preserving protocols for wireless sensor networks | Theses on a related topic
283.
Kuric, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zapojení 3D prohlížeče obrazů do Matlabu | 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: Zapojení 3D prohlížeče obrazů do Matlabu | Theses on a related topic
284.
Kušková, Kateřina
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Evropská úprava odpovědnosti za výrobek | Theses on a related topic
Bachelor's thesis defence: Evropská úprava odpovědnosti za výrobek | Theses on a related topic
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Evropská úprava odpovědnosti za výrobek | Theses on a related topic
Bachelor's thesis defence: Evropská úprava odpovědnosti za výrobek | Theses on a related topic
285.
Kutálek, David
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Technické řešení univerzální služby připojení k Internetu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Technické řešení univerzální služby připojení k Internetu | Theses on a related topic
286.
Kůžel, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Analýza síťového provozu | 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: Analýza síťového provozu | Theses on a related topic
287.
Lakatoš Červková, Markéta
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 Chemistry
Master's thesis defence: S POKUSY BEZPEČNĚ aneb námětovník přírodovědných experimentů pro žáky 1. stupně ZŠ | 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 Chemistry
Master's thesis defence: S POKUSY BEZPEČNĚ aneb námětovník přírodovědných experimentů pro žáky 1. stupně ZŠ | Theses on a related topic
288.
Lakomý, Bedřich
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický konfigurátor monitorů pro Linux | 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: Grafický konfigurátor monitorů pro Linux | Theses on a related topic
289.
Lalík, Roman
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Problematika map bezpečnosti na příkladu města Brna | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Problematika map bezpečnosti na příkladu města Brna | Theses on a related topic
290.
Langer, Robert
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Paramedic practice / Paramedic practice
Bachelor's thesis defence: Problematika první pomoci na lezeckých stěnách v České republice | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Paramedic practice / Paramedic practice
Bachelor's thesis defence: Problematika první pomoci na lezeckých stěnách v České republice | Theses on a related topic
291.
Langová, Tereza maiden name: Janků
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: K problematice obrany vlasti ve výuce Výchovy k občanství | Theses on a related topic
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: K problematice obrany vlasti ve výuce Výchovy k občanství | Theses on a related topic
292.
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
293.
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
294.
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
295.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic
296.
Lavrinčík, Marek
Faculty: Faculty of Informatics
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Chatovací Angular modul pro firemní systém | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Chatovací Angular modul pro firemní systém | Theses on a related topic
297.
Lesičko, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | Theses on a related topic
298.
Liberová, Iva
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro migraci programů v Delphi do jazyka C++ | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro migraci programů v Delphi do jazyka C++ | Theses on a related topic
299.
Lidmila, Jiří
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Činnost policie jako veřejný statek | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Činnost policie jako veřejný statek | Theses on a related topic
300.
Lipták, Dušan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vykreslování molekulárních dat ve vysoké kvalitě | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vykreslování molekulárních dat ve vysoké kvalitě | Theses on a related topic