Název
Vložil
Vloženo
Práva
 
Učební materiály um/16
16. 4. 2015
Složky
Tutorials 61899158/11
Blumensath, A.
22. 2. 2016
Soubory
German (BSI) Common Criteria Protection Profile for USB Storage Media pp0025b_engl_pdf.pdf
Matyáš, V.
17. 5. 2016
IA169_02-Testing.pdf
Barnat, J.
23. 2. 2016
IA169_03-SymbExec.pdf
Barnat, J.
1. 3. 2016
IA169_04-Deductive.pdf
Barnat, J.
8. 3. 2016
IA169_05-LTLMC_1.pdf
Barnat, J.
15. 3. 2016
IA169_06-LTLMC_2.pdf
Barnat, J.
22. 3. 2016
IA169_07-CTLMC.pdf
Barnat, J.
29. 3. 2016
IA169_08-Symbolic.pdf
Barnat, J.
12. 4. 2016
IA169_09-BoundedMC.pdf
Barnat, J.
19. 4. 2016
IA169_10-Abstraction.pdf
Barnat, J.
25. 4. 2016
IA169_11-RealTime.pdf
Barnat, J.
3. 5. 2016
IA169_12-Prob.pdf
Řehák, V.
10. 5. 2016
IA169_2016_Lclosing_.pdf
Matyáš, V.
16. 5. 2016
Separation Kernel Protection Profile Revisited: Choices and Rationale law2010-03-Levin-Nguyen-Irvine.pdf
Matyáš, V.
17. 5. 2016
U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness pp_skpp_hr_v1.03.pdf
Matyáš, V.
17. 5. 2016

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