Název
Vložil
Vloženo
Práva
 
Učební materiály um/19
12. 6. 2020
Složky
Homework 1 tutorials_1/2
Chalupa, M.
5. 10. 2020
Homework 2 homework_2/3
Řehák, V.
27. 10. 2020
Homework 3 homework_3/12
Řehák, V.
9. 11. 2020
Homework 4 homework_4/2
Chalupa, M.
24. 11. 2020
Homework 6 homework_6/6
Řehák, V.
10. 12. 2020
Video lectures video_lectures/35
Barnat, J.
4. 10. 2020
Soubory
IA169_semester_schedule_2020.pdf
Řehák, V.
11. 11. 2020
IA169_01-Testing.pdf
Barnat, J.
5. 10. 2020
IA169_02-SymbExec.pdf
Barnat, J.
5. 10. 2020
IA169_03-Deductive.pdf
Barnat, J.
11. 10. 2020
IA169_04-LTLMC_1.pdf
Barnat, J.
17. 10. 2020
IA169_05-LTLMC_2.pdf
Barnat, J.
26. 10. 2020
IA169_06-CTLMC.pdf
Barnat, J.
27. 10. 2020
IA169_07-Symbolic.pdf
Barnat, J.
27. 10. 2020
IA169_08-BoundedMC.pdf
Barnat, J.
30. 10. 2020
IA169_09-RealTime.pdf
Barnat, J.
2. 11. 2020
IA169_10-Prob.pdf
Barnat, J.
4. 11. 2020
IA169_11-Abstraction.pdf
Barnat, J.
5. 11. 2020
IA169_12-Certif.pdf
Barnat, J.
5. 11. 2020

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