Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
H
Holger Hermanns
10 books found
Books by Holger Hermanns
Interactive Markov Chains
Holger Hermanns
⏱ 3h 49m
Interactive Markov Chains
Holger Hermanns
2002
229 pp.
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns
⏱ 4h 57m
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns
2020
297 pp.
Interactive Markov chains
Holger Hermanns
⏱ 3h 37m
Interactive Markov chains
Holger Hermanns
2002
217 pp.
CONCUR 2006 - Concurrency Theory
Christel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier
2006
No page data
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Holger Hermanns
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Holger Hermanns
2003
No page data
Computer Aided Verification
Werner Damm
Computer Aided Verification
Werner Damm
2007
No page data
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns
2006
No page data
Concur 2006 - Concurrency Theory
Christel Baier,Holger Hermanns
Concur 2006 - Concurrency Theory
Christel Baier,Holger Hermanns
2008
No page data
Lectures on Formal Methods and Performance Analysis
Ed Brinksma
⏱ 7h 14m
Lectures on Formal Methods and Performance Analysis
Ed Brinksma
2001
434 pp.
Validation of stochastic systems
Christel Baier
⏱ 7h 50m
Validation of stochastic systems
Christel Baier
2004
470 pp.