80,87 €
Produit Neuf
Ou 20,22 € /mois
- Livraison à 0,01 €
- Livré entre le 24 août et le 9 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783662454886_dbm
Nos autres offres
-
76,88 €
Produit Neuf
Ou 19,22 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 31 août
Voir le détail de l'annonce -
80,87 €
Produit Neuf
Ou 20,22 € /mois
- Livraison à 0,01 €
- Livré entre le 24 août et le 9 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783662454886_dbm
Voir le détail de l'annonce -
92,39 €
Produit Neuf
Ou 23,10 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Stochastic Model Checking de Anne Remke Format Broché - Livre
0 avis sur Stochastic Model Checking de Anne Remke Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Stochastic Model Checking de Anne Remke Format Broché
- Livre
Résumé :
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. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.
Sommaire:
The tree areas of stochastic models.- Abstraction techniques.- Stochastic model checking.
Détails de conformité du produit
Personne responsable dans l'UE