Deine Suchergebnisse für

Measurement, Modelling and Evaluation of Computing Systems
Band 12040

Measurement, Modelling and Evaluation of Computing Systems
Buch (Taschenbuch) + weitere

49,99 €
Dependable Software Engineering. Theories, Tools, and Applications
Band 14464 - 10%

Dependable Software Engineering. Theories, Tools, and Applications
Buch (Taschenbuch) + weitere

76,99 € UVP ~~85,59 €~~ ^*
Validation of Stochastic Systems
Band 2925

Validation of Stochastic Systems
eBook (PDF) + weitere

53,49 €
Lectures on Formal Methods and Performance Analysis
Band 2090

Lectures on Formal Methods and Performance Analysis
eBook (PDF) + weitere

53,49 €
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Band 2399

Process Algebra and Probabilistic Methods: Performance Modeling and Verification
eBook (PDF) + weitere

53,49 €
Computer Aided Verification
Band 4590

Werner Damm + weitere
Computer Aided Verification
Buch (Taschenbuch)

49,99 €
CONCUR 2006 - Concurrency Theory
Band 4137

Christel Baier + weitere
CONCUR 2006 - Concurrency Theory
Buch (Taschenbuch)

97,99 €
Tools and Algorithms for the Construction and Analysis of Systems
Band 3920

Holger Hermanns + weitere
Tools and Algorithms for the Construction and Analysis of Systems
Buch (Taschenbuch)

49,99 €
Interactive Markov Chains
Band 2428

Holger Hermanns
Interactive Markov Chains
Buch (Taschenbuch) + weitere

48,99 €

von 9 Treffern werden angezeigt