Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
Hermanns, Holger, 1967-
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Autor
Hermanns, Holger, 1967-
Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
Hermanns, Holger, 1967-
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Interactive Markov chains : and the quest for quantified quality
Autor
Hermanns
,
Holger
,
1967
-
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Debmark, Denmark, July 25-26,...
Vydáno:
2002
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
CONCUR 2006 : concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of The Joint European Conferences on Theory and Practice...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2001 : revised lectures
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
algebra
algoritmizace
matematické modely
verifikace programu
Markovovy procesy
formální jazyky
formální verifikace
informatika
kvalita programu
markovské procesy
paralelní algoritmy
paralelní zpracování
počítače
počítačová architektura
pravděpodobnostní metody
programovací jazyky
programování
software
softwarové inženýrství
stochastická analýza
systémy
teorie algoritmů
teorie pravděpodobnosti
zpracování dat
×
Načítá se...