Browsing by Author "Vích, Lukáš"
Now showing items 1-12 of 12
-
Digitální syntetizátor
Janota, Tomáš (Bakalářská práce, 2014) -
Digitální VST syntetizátor
Hyvnar, Jan (Bakalářská práce, 2013) -
Důkazové techniky ve výrokové logice
Hošťálek, Marek (Bakalářská práce, 2013) -
Implementace podpory Spark View Engine do Visual Studio 201x
Urbánek, Karel (Diplomová práce, 2013) -
Implementace relační databáze s dynamickým rozhraním pomocí AS3
Blanár, Štefan (Bakalářská práce, 2012) -
Metrika podobnosti formalizací v PL1
Vích, Lukáš (Diplomová práce, 2010) -
Možnosti využití 3D modelování při návrhu dynamického webu
Vích, Lukáš (Bakalářská práce, 2008) -
Nástroj pro návrh a testování automatů
Vjačka, Daniel (Bakalářská práce, 2015) -
Online prodej
Boor, Martin (Bakalářská práce, 2013) -
Podobnost formulí ve VL
Rumpala, Lukáš (Bakalářská práce, 2012) -
Predikátová a klauzulární logika
Paluš, Juraj (Bakalářská práce, 2014) -
Predikátová logika 1. řádu a Hornovy klauzule
Blahovský, Martin (Diplomová práce, 2014)