Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
PA054
>
Learning Materials
FI:PA054 Formal Methods in Systems Biology
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Learning Materials
um
/11
26/3/2013
Folders
Učební texty
32130249
/5
Šafránek, D.
14/3/2012
Files
lecture2014_1.pdf
lecture2014_1.txt
Přednáška 01 - Úvod do problematiky, formální požadavky
lecture2014_1.pdf
Šafránek, D.
20/2/2014
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
Zadání projektů
http://www.fi.muni.cz/~xsafran1/vyuka/PA054/projekty_2014.html
Šafránek, D.
6/3/2014
go to course PA054 Formal Methods in Systems Biology
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í
.
×
×