Hledat
Zobrazují se záznamy 1-4 z 4
Formální specifikace šablonovacího jazyka Latte a implementace pluginu pro platformu IntelliJ IDEA, A formal specification of template language Latte and the implemention of a plugin for platform IntelliJ IDEA
; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Kontrola kompatibility datových typů v Oracle SQL, Checking the compatibility of data types in Oracle SQL
; Vedoucí práce: Janoušek Jan; Oponent práce: Polách Radomír (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů.
Analyzujeme datové typy a vestavěné funkce v dialektu Oracle ...
Minifikace a obfuskace JavaScriptu, JavaScript minification and obfuscation
; Vedoucí práce: Polách Radomír; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-06)
Tato práce se zabývá minifikací a obfuskací jazyka JavaScript. Je provedena analýza stávajících prací a volně dostupných knihoven zabývajících se obfuskací tohoto jazyka. Výstupem práce je modulární obfuskátor postavený ...
Řešič Morpion Solitaire, Morpion Solitaire solver
; Vedoucí práce: Polách Radomír; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)
Morpion solitaire je hra s tužkou a papírem pro jednoho hráče. Cílem hry je zahrát co nejvíce tahů. Tato hra je zajímavá v tom, že překonat řešení nalezené člověkem trvalo pomocí počítače 34 let. V této práci jsou ukázána ...