Grid  List

  1. Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    0 %
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

    Unser bisheriger Preis:ORGPRICE: 57,65 €

    Jetzt 57,64 €Ebook
    Alle Preise inkl. MwSt
  2. Interactive Markov Chains
    0 %
    Ebook
    Sofort lieferbar

    Markov Chains are widely used as stochastic models to study a broad spectrum of system performanc...

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    0 %
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

    Unser bisheriger Preis:ORGPRICE: 57,90 €

    Jetzt 57,89 €Ebook
    Alle Preise inkl. MwSt
  4. Validation of Stochastic Systems
    0 %

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €Ebook
    Alle Preise inkl. MwSt
  5. CONCUR 2006 - Concurrency Theory
    0 %
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...

    Unser bisheriger Preis:ORGPRICE: 113,51 €

    Jetzt 113,50 €Ebook
    Alle Preise inkl. MwSt
  6. Measurement, Modelling and Evaluation of Computing Systems
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 20th International GI ITG Conference on Measurement,...

    Unser bisheriger Preis:ORGPRICE: 58,04 €

    Jetzt 58,03 €Ebook
    Alle Preise inkl. MwSt
  7. Dependable Software Engineering. Theories, Tools, and Applications
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 9th International Symposium on Dependable Software E...

    Unser bisheriger Preis:ORGPRICE: 83,00 €

    Jetzt 82,99 €Ebook
    Alle Preise inkl. MwSt
  8. Taschenbuch
    Print on Demand

    This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Process Algebra and Probabilistic Methods: Performance Modeling and Verification
    0 %
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the Unive...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Taschenbuch
    Print on Demand

    Markov Chains are widely used as stochastic models to study a broad spectrum of system performanc...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Taschenbuch
    Print on Demand

    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 20th International GI ITG Conference on Measureme...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2