Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

static analysis

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Improvements of Memory Management in KLEE
 (Jakub Novák)

2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/eazm0/ | Aplikovaná informatika / | Theses on a related topic

List of theses with an identical keyword.

Klee-Based Error Witness Checker
 (Paulína Ayaziová)

2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/rnv19/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic

Paul Klee a jeho výtvarný jazyk
 (Simona Kodytková)

2021, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/v0tb8/ | Obecná teorie a dějiny umění a kultury / Estetika | Theses on a related topic

Symbolic-size Memory Allocation Support for Klee
 (Michael Šimáček)

2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/mdedh/ | Aplikovaná informatika / | Theses on a related topic

Rozšíření nástroje pro symbolickou exekuci KLEE
 (Peter Hruška)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/xn7xc/ | Informatika / Počítačové systémy | Theses on a related topic

Program for evaluation of oxygen probe data
 (Kevin Klee)

2023, Bakalářská práce, Fakulta chemicko-inženýrská / Vysoká škola chemicko-technologická v Praze

• http://theses.cz/id//eemj2p// | Chemické inženýrství a bioinženýrství / | Theses on a related topic

Labyrint\nl Autorský projekt inspirovaný myšlenkami a dílem Paula Klee.
 (Richard TRUHLÁŘ)

2016, Bakalářská práce, Pedagogická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH

• http://theses.cz/id//oax5bf// | Specializace v pedagogice / Výtvarná tvorba se zaměřením na vzdělávání (jednooborové) | Theses on a related topic