Browsing by Author "Baštecký, Pavel"
Now showing items 1-2 of 2
-
Data Modeling for Static Analysis of Web Applications
Defence status: DEFENDEDBaštecký, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 9. 9. 2015PHP je velmi oblíbený jazyk, často používaný na implementaci serverové části webových aplikací. Jazyk je velmi jednoduchý na používání a i proto je na celém internetu velké množství menších stránek, ale i rozsáhlejších ... -
Prostředí pro práci s algoritmy na kreslení grafů
Defence status: DEFENDEDBaštecký, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 6. 9. 2012Graf je matematická struktura, která se i přes svojí jednoduchost stala dokonalým nástrojem pro modelování dějů každodenního života. Tento úspěch by však nebyl možný bez algoritmů dávajících hlubší smysl jinak statické ...