Výsledky
1 - 1
z
1
pro vyhledávání '
Krčál, Jan, 1976-
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Autor
Krčál, Jan, 1976-
Výsledky
1 - 1
z
1
pro vyhledávání '
Krčál, Jan, 1976-
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
Autor
Krčál
,
Jan
,
1976
-
Vydáno 2014
Umístění:
Načítá se...
Získat plný text
VŠ práce nebo rukopis
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
Markov Processes
Markovovy procesy
Speciální počítačové metody. Počítačová grafika
automata theory
computer modeling
computer systems
počítačové modelování
počítačové systémy
teorie automatů
×
Načítá se...