Zpět na vyhledávání

Filip Čaládi

Master's thesis

Ověřování parametrických vlastností nad záznamy běhů programů

 
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 20. 6. 2022

Obhajoba závěrečné práce

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu

Vysoké učení technické v Brně

Master programme:
Informační technologie a umělá inteligence

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.
 
Názov
Vložil
Vložené
Práva
Theses 15b6wg 15b6wg/2
20. 6. 2022
Složky
Soubory
thesis 23298.pdf
Skopal, M.
22. 6. 2022

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.