|
Zdanění příjmů plynoucích z titulu stavební zakázky realizované na Slovensku
Minář, Michal ; Kučera, František (oponent) ; Brychta, Karel (vedoucí práce)
Diplomová práce se zabývá povinnostmi při realizaci stavební zakázky na území Slovenské republiky a jejím zdanění. V práci jsou nejdříve definovány základní pojmy, vymezen jednotný vnitřní trh Evropské unie a harmonizační proces přímého i nepřímého zdanění. V analytické části práce jsou zanalyzovány relevantní právní předpisy mezinárodního, unijního i vnitrostátního práva. V praktické části je specifikována konkrétní stavební zakázka, stanoveny veškeré povinnosti související s její realizací a demonstrativně vypočtena daňová povinnost poplatníka.
|
| |
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
| |
| |
| |
|
Zdanění příjmů plynoucích z titulu stavební zakázky realizované na Slovensku
Minář, Michal ; Kučera, František (oponent) ; Brychta, Karel (vedoucí práce)
Diplomová práce se zabývá povinnostmi při realizaci stavební zakázky na území Slovenské republiky a jejím zdanění. V práci jsou nejdříve definovány základní pojmy, vymezen jednotný vnitřní trh Evropské unie a harmonizační proces přímého i nepřímého zdanění. V analytické části práce jsou zanalyzovány relevantní právní předpisy mezinárodního, unijního i vnitrostátního práva. V praktické části je specifikována konkrétní stavební zakázka, stanoveny veškeré povinnosti související s její realizací a demonstrativně vypočtena daňová povinnost poplatníka.
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|