CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 15 of 15 Results
1.
Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July ...
Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July ... by Damm, Werner, Hermanns, Holger ISBN: 9783540733676 List Price: $99.00
$51.31 (Save 48%)
2.
Process Algebra and Probabilistic Methods Performance Modeling and Verification Second Join...
Process Algebra and Probabilistic Methods Performance Modeling and Verification Second Join... by Hermanns, Holger, Segala, R... ISBN: 9783540439134 List Price: $52.95
$52.33 (Save 1%)
3.
Interactive Markov Chains The Quest for Quantified Quality
Interactive Markov Chains The Quest for Quantified Quality by Hermanns, Holger ISBN: 9783540442615 List Price: $64.95
$52.33 (Save 19%)
4.
Tools And Algorithms for the Construction And Analysis of Systems 12th Internation Converenc...
Tools And Algorithms for the Construction And Analysis of Systems 12th Internation Converenc... by Hermanns, Holger, Palsberg,... ISBN: 9783540330561 List Price: $89.00
$52.33 (Save 41%)
5.
Validation Of Stochastic Systems A Guide To Current Research
Validation Of Stochastic Systems A Guide To Current Research by Baier, Christel, Haverkort,... ISBN: 9783540222651 List Price: $84.00
$52.33 (Save 37%)
6.
Lectures on Formal Methods and Performance Analysis First Eef Summer School on Trends in Com...
Lectures on Formal Methods and Performance Analysis First Eef Summer School on Trends in Com... by Brinksma, Ed, Hermanns, Hol... ISBN: 9783540424796 List Price: $79.95
$52.33 (Save 34%)
7.
CONCUR 2006 - Concurrency Theory 17th International Conference, Concur 2006, Bonn, Germany, ...
CONCUR 2006 - Concurrency Theory 17th International Conference, Concur 2006, Bonn, Germany, ... by Baier, Christel, Hermanns, ... ISBN: 9783540373766 List Price: $89.00
$101.14
8.
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Confe...
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Confe... by Hermanns, Holger ISBN: 9783030430238 List Price: $69.99
$51.31 (Save 26%)
9.
Hochsauerland
Hochsauerland by Holger Klaes, Hermann Josef... ISBN: 9783930271368

OUT OF STOCK

See Availability on Amazon
10.
Process Algebra and Probabilistic Methods. Performance Modeling and Verification
Process Algebra and Probabilistic Methods. Performance Modeling and Verification by Hermanns, Holger, Segala, R... ISBN: 9783662195529 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Validation of Stochastic Systems
Validation of Stochastic Systems by Baier, Christel, Haverkort,... ISBN: 9783662167427 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Interactive Markov Chains : The Quest for Quantified Quality
Interactive Markov Chains : The Quest for Quantified Quality by Hermanns, Holger ISBN: 9783662207031 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis by Brinksma, Ed, Hermanns, Hol... ISBN: 9783662181171 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Dependable Software Engineering. Theories, Tools, and Applications : 9th International Sympo...
Dependable Software Engineering. Theories, Tools, and Applications : 9th International Sympo... by Hermanns, Holger, Sun, Jun,... ISBN: 9789819986637 List Price: $79.99
$73.96 (Save 7%)
15.
Gott Schauen: Predigten
Gott Schauen: Predigten by Hermann, Holger ISBN: 9783752646818
$19.64