>> Google Books
所蔵情報QRコード

Interactive Markov chains : and the quest for quantified quality / Holger Hermanns

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xii, 217 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2428 <BA00009279>
著者名:
Hermanns, Holger, 1967- <DA13232905>  
ISBN:
9783540442615 [3540442618]
書誌ID:
BA58848636
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on Concurrency Theory, Baier, Christel, Hermanns, Holger, 1967-

Springer

7 図書 Markov chains

Freedman, David, 1938-

Springer-Verlag

EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Springer

Stańczak, Sławomir, Wiczanowski, Marcin, Boche, Holger

Springer

4 図書 Markov chains

Freedman, David, 1938-

Holden-Day

Hou, Zhenting, Filar, Jerzy A., 1949-, Chen, Anyue

Kluwer Academic

5 図書 Markov chains

Freedman, David, 1938-

Springer-Verlag

11 電子ブック Computer Aided Verification

Damm, Werner, Hermanns, Holger

Springer eBooks Computer Science, Springer Berlin Heidelberg

6 図書 Markov chains

Revuz, D

North-Holland Pub. Co., American Elsevier

Hernández-Lerma, O. (Onésimo), Lasserre, Jean-Bernard, 1953-

Birkhäuser Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12