Hledat
Zobrazují se záznamy 1-10 z 569
Automatová knihovna - převody mezi regulárními výrazy, regulárními gramatikami a konečnými automaty, Automata library - transformations between ragular expressions, regular grammars and finite automata
; Vedoucí práce: Trávníček Jan; Oponent práce: Baier Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Simulace kvantové částice ve zkrouceném 2D vlnovodu, Simulation of a Quantum Particle in a Twisted 2D Waveguide
; Vedoucí práce: Kalvoda Tomáš; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Procesní stroj pro metodu BORM, BORM process machine
; Vedoucí práce: Pergl Robert; Oponent práce: Podloucký Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Aplikace pro vyhodnocení stylu jízdy řidiče, Application for driver style evaluation
; Vedoucí práce: Balík Miroslav; Oponent práce: Šimeček Ivan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Automatová knihovna - determinizace konečných a zásobníkových automatů, Automatová knihovna - determinisation of finite and pushdown automata
; Vedoucí práce: Trávníč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)
Implementace rozšiřujícího modulu do systému CRM, New CRM add-on development
; Vedoucí práce: Náplava Pavel; Oponent práce: Jiřina Marcel (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Rychlé násobení smíšených polynomů, Fast multiplication of mixed polynoms
; Vedoucí práce: Šimeček Ivan; Oponent práce: Vogel Josef (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Kompresní metody LZ, LZ-family data compression methods
; Vedoucí práce: Baier Jan; Oponent práce: Holub Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Analýza výsledků absolventů středních škol na VŠ, Data mining of high school alumni performance at the university
; Vedoucí práce: Kordík Pavel; Oponent práce: Kuznetsov Stanislav (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Ověření vlastností grafu, Verification of properties of graphs
; Vedoucí práce: Šimeček Ivan; Oponent práce: Valla Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)