Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na aplikační menu
Přeskočit na obsah
Přeskočit na patičku
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu FI:
PA054
>
Učební materiály
FI:PA054 Formální modely v systémové biologii
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Učební materiály
um
/11
14. 3. 2015
Složky
Cvičení
32017001
/8
Šafránek, D.
7. 3. 2012
Doplňující materiály
61964910
/3
Šafránek, D.
25. 2. 2016
Soubory
lecture2015_01.pdf
lecture2015_01.txt
Přednáška 01 - Úvod do problematiky, formální požadavky
lecture2015_01.pdf
Šafránek, D.
19. 2. 2015
lecture3.pdf
lecture3.txt
Přednáška 03 - Biologický model jako Petriho síť
lecture3.pdf
Šafránek, D.
8. 3. 2013
lecture4.pdf
lecture4.txt
Přednáška 04 - Statická analýza Petriho sítí
lecture4.pdf
Šafránek, D.
15. 3. 2013
lecture5.pdf
lecture5.txt
Přednáška 05 - Dosažitelnost, model checking, úvod do stochastických modelů
lecture5.pdf
Šafránek, D.
22. 3. 2013
lecture2012_8.pdf
lecture2012_8.txt
Přednáška 08 - Stochastické modely vs. deterministické modely
lecture2012_8.pdf
Šafránek, D.
18. 4. 2012
lecture10.pdf
lecture10.txt
Přednáška 09 - Algebry procesů pro biologické systémy
lecture10.pdf
Šafránek, D.
3. 5. 2013
na předmět PA054 Formální modely v systémové biologii
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í
.
×
×