Theses on a related topic (having the same keywords):
abstraktni interpretace, over-aproximace interpreter, vicehodnotova celociselna aritmetika, multi-valued integer arithmetic, interpret, abstract interpretation, over-approximation, vicehodnotova promenna, multi-valued variableKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic
2.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic
3.
Čadek, Pavel
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Analýza počtu iterací cyklů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Analýza počtu iterací cyklů | Theses on a related topic
4.
Dupal, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic
5.
Frydrych, Karol
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Theses on a related topic
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Theses on a related topic
6.
Hlavica, Martin
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Vybrané prostředky podporující propagaci na současné scéně české populární hudby | Theses on a related topic
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Vybrané prostředky podporující propagaci na současné scéně české populární hudby | Theses on a related topic
7.
Chodúr, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Základní vstupní a výstupní komponenty pro interpreter JVoiceXML | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Základní vstupní a výstupní komponenty pro interpreter JVoiceXML | Theses on a related topic
8.
Janypka, Jáchym
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Open air festival Trutnov a jeho umělecká a společenská specifičnost. | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Open air festival Trutnov a jeho umělecká a společenská specifičnost. | Theses on a related topic
9.
Kraváčková, Blanka
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Aktuální podoba literárních pořadů na Radiu Proglas | Theses on a related topic
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Aktuální podoba literárních pořadů na Radiu Proglas | Theses on a related topic
10.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic
11.
Májsky, Ivan
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: English pronunciation Skills of Czech and Slovak Pop-Music Performers | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: English pronunciation Skills of Czech and Slovak Pop-Music Performers | Theses on a related topic
12.
Marenišťáková, Vanesa
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Non-Native Performers in English | Theses on a related topic
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Non-Native Performers in English | Theses on a related topic
13.
Olliaro, Martina
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: String Analysis for Software Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: String Analysis for Software Verification | Theses on a related topic
14.
Pivoda, Marek
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření webových prohlížečů o služby IS MU | Theses on a related topic
Bachelor's thesis defence: Webové rozhranní pro interpreter JVoiceXML | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření webových prohlížečů o služby IS MU | Theses on a related topic
Bachelor's thesis defence: Webové rozhranní pro interpreter JVoiceXML | Theses on a related topic
15.
Polák, Martin
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Musicology
Master's thesis defence: Hudební vysílání Československé televize Brno v letech 1961-1973 | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Musicology
Master's thesis defence: Hudební vysílání Československé televize Brno v letech 1961-1973 | Theses on a related topic
16.
Slabý, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Bug-finding Techniques for Large Software Projects | 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: Automatic Bug-finding Techniques for Large Software Projects | Theses on a related topic
17.
Smékal, Roman
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Mobilní klient pro platformu JVoiceXML | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Mobilní klient pro platformu JVoiceXML | Theses on a related topic
18.
Sysel, Jan
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Media Studies), Sociology
Bachelor's thesis defence: Vztah umělce a nahrávací společnosti v rámci repertoáru, marketingu a masových médií | Theses on a related topic
Bachelor's thesis defence: Habešská válka na stránkách čs. stranickopolitického tisku
Bachelor's thesis defence: Habešská válka na stránkách čs. stranickopolitického tisku | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Media Studies), Sociology
Bachelor's thesis defence: Vztah umělce a nahrávací společnosti v rámci repertoáru, marketingu a masových médií | Theses on a related topic
Bachelor's thesis defence: Habešská válka na stránkách čs. stranickopolitického tisku
Bachelor's thesis defence: Habešská válka na stránkách čs. stranickopolitického tisku | Theses on a related topic
19.
Šupka, Ondřej
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Antonín Dvořák jako interpret | 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 / Combined Art Studies
Bachelor's thesis defence: Antonín Dvořák jako interpret | Theses on a related topic
20.
Šuta, Matej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: String abstract domains | 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: String abstract domains | Theses on a related topic
21.
Vašík, Marek
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Prostředí pro vývoj dialogových aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Prostředí pro vývoj dialogových aplikací | Theses on a related topic
22.
Zhumatay, Aikumis
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Culture Management / Culture Management
Master's thesis defence: Indie rocková scéna v České republice na příkladu vybraných skupin | Theses on a related topic
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Culture Management / Culture Management
Master's thesis defence: Indie rocková scéna v České republice na příkladu vybraných skupin | Theses on a related topic
23.
Zmrzlý, Adam
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vizuální programovací jazyk | 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: Vizuální programovací jazyk | Theses on a related topic
24.
Zudová, Hana
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language and Literature with a view to Education, Music for Education
Bachelor's thesis defence: Antonín Nosek | Theses on a related topic
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language and Literature with a view to Education, Music for Education
Bachelor's thesis defence: Antonín Nosek | Theses on a related topic