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
>
Nástroje
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
Nástroje
23319810
/6
Šafránek, D.
10. 3. 2011
Složky
Soubory
Genetic Network Analyzer (GNA)
http://www.genostar.com/en/genostar-software/gnasim.html
Šafránek, D.
4. 5. 2011
GINsim
http://gin.univ-mrs.fr/
Šafránek, D.
4. 5. 2011
Petri Net Editor and Analyzer
http://sourceforge.net/projects/pipe2/
Šafránek, D.
10. 3. 2011
Petri Net Editor and Simulator
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Snoopy
Šafránek, D.
10. 3. 2011
Petri Net Static and Dynamic Analyzer
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie
Šafránek, D.
10. 3. 2011
PRISM (Probabilistic Symbolic Model Checker)
http://www.prismmodelchecker.org/
Šafránek, D.
6. 4. 2011
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í
.
×
×