Principles of Verification: Cycling the Probabilistic Landscape
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Häftad
1 009 kr
Del i serien Lecture Notes in Computer Science
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Häftad, Engelska, 2014
689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.
Produktinformation
- Utgivningsdatum2014-10-31
- Mått155 x 235 x 18 mm
- Vikt454 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor281
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783662454886
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12135
Del 16040
- Nyhet
Performance Evaluation Methodologies and Tools
Anne Remke, Katinka Wolter, Gethin Norman
Häftad
1 449 kr
Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
Häftad
719 kr
Del 15454
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad
719 kr
Del 12289
Del 9081
Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniele Manini, Anne Remke
Häftad
689 kr
Del 12649