Mein Konto
Ihre gesetzlichen Gewährleistungsrechte
Erweiterte Suche
Categories

Grid   List

  1. Formal Methods: Applications and Technology
    Formal Methods: Applications and Technology
    Jaco van de Pol
    Springer
    Taschenbuch
    BOD - 2 Tage

    These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Ind...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Boudewijn R. Haverkort
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 12th International Conference on Quantitative Evalua...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
    Boudewijn R. Haverkort
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    Thisbook constitutes the proceedings of the 18th International GI ITG Conference onMeasurement, M...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Holger Hermanns
    Springer
    Taschenbuch
    BOD - 2 Tage

    Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Performance Evaluation. Modelling Techniques and Tools
    Computer Performance Evaluation. Modelling Techniques and Tools
    Henrik C. Bohnenkamp
    Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Paper.- Performance Evaluation with Heavy Tailed Distributions.- Queueing Network Models....

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