Výsledky
1 - 1
z
1
pro vyhledávání '
Moravec, Pavel, 1979-
'
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
Moravec, Pavel, 1979-
Výsledky
1 - 1
z
1
pro vyhledávání '
Moravec, Pavel, 1979-
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Distributed state space reductions
Autor
Moravec
,
Pavel
,
1979
-
Vydáno 2008
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
Počítačové sítě
algorithms
algoritmy (programování)
distribuované zpracování dat
distributed data processing
formal verification
formální verifikace
×
Načítá se...
