Yazar
Holger Hermanns
10 cilt bulundu.
Cilt sonuçları
Validation of stochastic systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · Springer-Verlag
470 sayfa · 2004
Stochastic processes / Stochastic systems / Stochastic analysis
Interactive Markov chains
Holger Hermanns · Springer
217 sayfa · 2002
Markov processes / Computer science / Computer system performance / Software engineering / Logic design
CONCUR 2006 - Concurrency Theory
Christel Baier, Holger Hermanns · Springer London, Limited
Sayfa sayısı yok · 2006
Parallel processing (electronic computers)
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg · Springer London, Limited
Sayfa sayısı yok · 2006
System design / Computer software, development