Hledat
Zobrazují se záznamy 1-5 z 5
Destroy The Castle: 3D hra inspirovaná hrou Magic Carpet
Destroy The Castle: A 3D Magic Carpet-like Game
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Destroy The Castle: 3D hra inspirovaná hrou Magic Carpet Autor: Simona Ondrčková Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Pavel Ježek, Ph.D., Katedra distribuovaných ...
Title: Destroy the Castle: A 3D Magic Carpet-like Game Author: Simona Ondrčková Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Ježek, Ph.D., Department of Distributed and Dependable ...
Title: Destroy the Castle: A 3D Magic Carpet-like Game Author: Simona Ondrčková Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Ježek, Ph.D., Department of Distributed and Dependable ...
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Code Assertions Verification Using Backward Symbolic Execution
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 06. 02. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
Bojiště pro virtuální autonomní roboty
Battlefield for Virtual Autonomous Robots
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In most cases, programming is taught using mathematically motivated exam- ples, which are not attractive for all students. As a result, there have been many projects in the past that aimed to teach programming through ...
Programování se ve většině případů vyučuje na matematicky motivovaných příkladech, které nedokáží zaujmout všechny studenty. Proto v minulosti vzniklo mnoho projektů, které se snaží vyučovat programování pomocí her. Cílem ...
Programování se ve většině případů vyučuje na matematicky motivovaných příkladech, které nedokáží zaujmout všechny studenty. Proto v minulosti vzniklo mnoho projektů, které se snaží vyučovat programování pomocí her. Cílem ...
Qubit - systém pro správu a tvorbu překladů
Qubit - A System for Translations Management and Authoring
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Qubit - systém pro správu a tvorbu pøekladù Autor: Jindøich Cincibuch Katedra: Katedra distribuovaných a spolehlivých systémù Vedoucí bakaláøské práce: Mgr. Pavel Je¾ek, Ph.D., Katedra distribuovaných a ...
Title: Qubit - A System for Translations Management and Authoring Author: Jindøich Cincibuch Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Je¾ek, Ph.D., Department of Distributed and ...
Title: Qubit - A System for Translations Management and Authoring Author: Jindøich Cincibuch Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Je¾ek, Ph.D., Department of Distributed and ...
Tau Ceti f 2 - budovatelská počítačová hra se strategickými prvky
Tau Ceti f 2 - A Creative Computer Game with Strategic Elements
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Many computer game players like building games. Minecraft and Space Engi- neers are probably some of the most popular, to name just a few. In these games, the player builds buildings and structures using blocks of a fixed ...
Mnoho hráčů počítačových her má v oblibě žánr stavitelských her. Mezi mno- hými bychom mohli jmenovat hry Minecraft a Space Engineers. V těchto hrách hráč staví budovy a struktury z bloků pevně dané velikosti. To shledáváme ...
Mnoho hráčů počítačových her má v oblibě žánr stavitelských her. Mezi mno- hými bychom mohli jmenovat hry Minecraft a Space Engineers. V těchto hrách hráč staví budovy a struktury z bloků pevně dané velikosti. To shledáváme ...