Hledat
Zobrazují se záznamy 1-10 z 99
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)
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)
Inkrementální komprese založená na clusterování, Incremental Clustering-Based Compression
; Vedoucí práce: Holub Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Simulace pohybu tanečního páru po parketu, Ballroom dance simulation
; Vedoucí práce: Kašpar Jiří; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
Multiagentní prostředí na platformě Android, Multi-agent Environment on Android Platform
; Vedoucí práce: Baier Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Protisměrné vyhledávání ve stromech, Backward tree pattern matching
; 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., 2013-06-28)
Zjednodušení matematických výrazů generovaných induktivními modely, The Simplification of Folmulas Generated by Inductive Models
; Vedoucí práce: Kordík Pavel; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
Automatová knihovna - vnitřní a komunikační formát, Automata library - internal and comunication format
; Vedoucí práce: Trávníček Jan; Oponent práce: Poliak Martin (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Implementace webové knihovny eLibrary, Implementation of eLibrary web application
; Vedoucí práce: Trávníček Jan; Oponent práce: Guth Ondřej (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů, Error Recovery in Tools for Automatically Analysing Program Artefacts
; Vedoucí práce: Janoušek Jan; Oponent práce: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)