Počet výsledků: 135

Fakulta
Fakulta informatiky
Obor/plán
FI - Informatika: Matematická informatika
zahrnout jen obhájené práce

Chodil, Miroslav

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Vlastnosti konečných automatů a jejich přechodových monoidů

Jaďuď, Ján

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Abstractions of Component Interaction Automata

Jančík, Radek

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2020

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: On neural networks base study of radio galaxies

Jankaničová, Natália

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Analýza pseudonáhodných generátorov C rand() a Java Random

Jankola, Marek

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2021

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Transformation of Nondeterministic Büchi Automata to Tight Automata

Janovský, Adam

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Algebraic cryptanalysis of Hidden Field Equations family

Jedelský, Jan

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2021

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Classes of bounded and unbounded twin-width

Jelínek, Tomáš

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2020

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Implementing Robust Matching Augmentation

Jelínek, Vít

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2022

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Categorical View of Monads in Computer Science

Kafka, Aleš

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Porovnání výkonnosti SQL dotazů v závislosti na využití sekundárních indexů

Kala, Jaromír

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Multiplatformní knihovna pro interakci s grafickým uživatelským prostředím

Klaška, David

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Complexity of Consumption Games

Klimoš, Miroslav

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Synthesis of Minimal Schedulers for Markov Decision Processes

Klokočka, Mikuláš

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Semi-Determinization of Omega-Automata

Klučár, Marek

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Vývoj a analýza výukových programátorských úloh

Kolčák, Juraj

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Webové rozhraní pro pokročilou analýzu diskrétních modelů genových regulačních sítí

Komárková, Zuzana

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Phase-type approximation techniques

Konček, Marián

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Multi-resource fair-sharing mechanisms for distributed computing systems

Konicar, Robert

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2022

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: A Nondeterministic File System Model for DiOS

Korbela, Michal

(obhajoba byla úspěšná)

Bakalářské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Matematická informatika
Bakalářská práce: Degree properties of 2-crossing-critical graphs