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
>
Doplňující materiály
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
Doplňující materiály
61964910
/5
Šafránek, D.
25/2/2016
Folders
Files
Clanek o robustnosti ve stochastickych systemech
http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0094553
Šafránek, D.
26/4/2017
namur_2019.pdf
namur_2019.txt
Model Checking (slides 1 - 62)
namur_2019.pdf
Šafránek, D.
28/3/2019
2191-0855-1-45.pdf
2191-0855-1-45.txt
Overview of modelling formalisms
2191-0855-1-45.pdf
Šafránek, D.
3/3/2016
BlaetkeTutorial.pdf
BlaetkeTutorial.txt
Tutorial: Petri Nets in Systems Biology
BlaetkeTutorial.pdf
Šafránek, D.
10/3/2016
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í
.
×
×