Název
Vložil
Vloženo
Práva
 
Učební materiály um/19
28. 3. 2017
Složky
homeworks homeworks/5
Chalupa, M.
28. 2. 2018
tutorials tutorials/10
Chalupa, M.
21. 2. 2018
Soubory
all_IA169_2017.pdf
Barnat, J.
19. 2. 2018
IA169_01-Testing.pdf
Barnat, J.
27. 3. 2018
IA169_02-SymbExec.pdf
Barnat, J.
27. 3. 2018
IA169_03-LTLMC_1.pdf
Barnat, J.
27. 3. 2018
IA169_04-LTLMC_2.pdf
Barnat, J.
27. 3. 2018
IA169_05-CTLMC.pdf
Barnat, J.
27. 3. 2018
IA169_06-Symbolic.pdf
Barnat, J.
27. 3. 2018
IA169_07-Deductive.pdf
Barnat, J.
3. 4. 2018
IA169_08-BoundedMC.pdf
Barnat, J.
10. 4. 2018
IA169_09-RealTime.pdf
Barnat, J.
17. 4. 2018
IA169_10-Prob.pdf
Řehák, V.
24. 4. 2018
IA169_11-Abstraction.pdf
Barnat, J.
15. 5. 2018
IA169_13_Common Criteria http://www.commoncriteriaportal.org/
Matyáš, V.
30. 4. 2018
IA169_13_FIPS140-2 http://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.140-2.pdf
Matyáš, V.
30. 4. 2018
IA169_13_2018_Lclosing_final.pdf
Matyáš, V.
30. 4. 2018
IA169_13_2018_Lclosing_video.mp4
Šiler, P.
2. 5. 2018
IA169_13_2018_Separation Kernel Protection Profile Revisited law2010-03-Levin-Nguyen-Irvine.pdf
Matyáš, V.
30. 4. 2018

  • 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í.