Now showing items 1-2 of 2

    • Inteligentní webové komponenty pro STPA analýzu 

      Author: Artur Useinov; Supervisor: Ahmad Jana; Opponent: Lališ Andrej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-08)
      V posledních letech byla překročena poptávka po budování bezpečnějších systémů ve srovnání s tradičními. Tato poptávka po takovém upgradu vychází z častých změn v našem každodenním životě a technologických inovací, které ...
    • Vyhodnocování výrazů dotazů v relační algebře 

      Author: Lukáš Kotlík; Supervisor: Svoboda Martin; Opponent: Ahmad Jana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)
      Relační algebra je formální dotazovací jazyk nad relačním modelem dávající relačním databázovým systémům pevné a formálně dobře definované základy. V této bakalářské práci jsme navrhli a naimplementovali webovou aplikaci, ...