Práce na příbuzné téma (mají shodná klíčová slova):
abstraktni interpretace, over-aproximace interpreter, vicehodnotova celociselna aritmetika, multi-valued integer arithmetic, interpret, abstract interpretation, over-approximation, vicehodnotova promenna, multi-valued variableKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma
2.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma
3.
Čadek, Pavel
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Analýza počtu iterací cyklů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Analýza počtu iterací cyklů | Práce na příbuzné téma
4.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma
5.
Frydrych, Karol
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba bakalářské práce: Výzkumná zpráva o stavu varhan v regionu Ždánsko | Práce na příbuzné téma
6.
Hlavica, Martin
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Vybrané prostředky podporující propagaci na současné scéně české populární hudby | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Vybrané prostředky podporující propagaci na současné scéně české populární hudby | Práce na příbuzné téma
7.
Chodúr, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Základní vstupní a výstupní komponenty pro interpreter JVoiceXML | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Základní vstupní a výstupní komponenty pro interpreter JVoiceXML | Práce na příbuzné téma
8.
Janypka, Jáchym
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Open air festival Trutnov a jeho umělecká a společenská specifičnost. | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Open air festival Trutnov a jeho umělecká a společenská specifičnost. | Práce na příbuzné téma
9.
Kraváčková, Blanka
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství českého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Aktuální podoba literárních pořadů na Radiu Proglas | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství českého jazyka a literatury pro základní školy
Obhajoba diplomové práce: Aktuální podoba literárních pořadů na Radiu Proglas | Práce na příbuzné téma
10.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma
11.
Májsky, Ivan
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: English pronunciation Skills of Czech and Slovak Pop-Music Performers | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: English pronunciation Skills of Czech and Slovak Pop-Music Performers | Práce na příbuzné téma
12.
Marenišťáková, Vanesa
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Non-Native Performers in English | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Non-Native Performers in English | Práce na příbuzné téma
13.
Olliaro, Martina
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Computer Science / Fundamentals of Computer Science
Obhajoba disertační práce: String Analysis for Software Verification | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Computer Science / Fundamentals of Computer Science
Obhajoba disertační práce: String Analysis for Software Verification | Práce na příbuzné téma
14.
Pivoda, Marek
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření webových prohlížečů o služby IS MU | Práce na příbuzné téma
Obhajoba bakalářské práce: Webové rozhranní pro interpreter JVoiceXML | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření webových prohlížečů o služby IS MU | Práce na příbuzné téma
Obhajoba bakalářské práce: Webové rozhranní pro interpreter JVoiceXML | Práce na příbuzné téma
15.
Polák, Martin
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Hudební vysílání Československé televize Brno v letech 1961-1973 | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Obecná teorie a dějiny umění a kultury / Hudební věda
Obhajoba diplomové práce: Hudební vysílání Československé televize Brno v letech 1961-1973 | Práce na příbuzné téma
16.
Slabý, Jiří
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma
17.
Smékal, Roman
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Mobilní klient pro platformu JVoiceXML | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Mobilní klient pro platformu JVoiceXML | Práce na příbuzné téma
18.
Sysel, Jan
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Mediální studia), Sociologie
Obhajoba bakalářské práce: Vztah umělce a nahrávací společnosti v rámci repertoáru, marketingu a masových médií | Práce na příbuzné téma
Obhajoba bakalářské práce: Habešská válka na stránkách čs. stranickopolitického tisku
Obhajoba bakalářské práce: Habešská válka na stránkách čs. stranickopolitického tisku | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Mediální studia), Sociologie
Obhajoba bakalářské práce: Vztah umělce a nahrávací společnosti v rámci repertoáru, marketingu a masových médií | Práce na příbuzné téma
Obhajoba bakalářské práce: Habešská válka na stránkách čs. stranickopolitického tisku
Obhajoba bakalářské práce: Habešská válka na stránkách čs. stranickopolitického tisku | Práce na příbuzné téma
19.
Šupka, Ondřej
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Antonín Dvořák jako interpret | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Sdružená uměnovědná studia
Obhajoba bakalářské práce: Antonín Dvořák jako interpret | Práce na příbuzné téma
20.
Šuta, Matej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: String abstract domains | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: String abstract domains | Práce na příbuzné téma
21.
Vašík, Marek
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Prostředí pro vývoj dialogových aplikací | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Prostředí pro vývoj dialogových aplikací | Práce na příbuzné téma
22.
Zhumatay, Aikumis
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Management v kultuře / Management v kultuře
Obhajoba diplomové práce: Indie rocková scéna v České republice na příkladu vybraných skupin | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Management v kultuře / Management v kultuře
Obhajoba diplomové práce: Indie rocková scéna v České republice na příkladu vybraných skupin | Práce na příbuzné téma
23.
Zmrzlý, Adam
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vizuální programovací jazyk | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vizuální programovací jazyk | Práce na příbuzné téma
24.
Zudová, Hana
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk a literatura se zaměřením na vzdělávání, Hudební výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Antonín Nosek | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk a literatura se zaměřením na vzdělávání, Hudební výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Antonín Nosek | Práce na příbuzné téma