Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Stochastic Model Checking

Name: Stochastic Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09030400
Price: 61.21 EUR
Availability: InStock
Author: Anne Remke
ISBN: 9783662454886

International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Anne Remke

Mariëlle Stoelinga

Език

Английски език

Книга С меки корици

Код Либристо: 09030400

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2014

The use of stochastic models in computer science is wide spread, for instance in performance modelin... Цялото описание

Код Либристо: 09030400

148 b

61.21 €

119.71 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

С меки корици

38.94 € 76.16 лв

Willkommen. Ein Buch über Freundschaft Alison Green

С твърди корици

13.87 € 27.13 лв

Einheimische Fische Kurt Floericke

С меки корици

28.37 € 55.49 лв

Odyssée lumpen Alberto PRUNETTI

С меки корици

23.97 € 46.88 лв

PORMISHUEVISMO ERIK HARLEY

Книга

24.85 € 48.61 лв

Non sono un gentiluomo, duchessa Marianna Vidal

С меки корици

22.06 € 43.14 лв

Endstation Engadin Gian Maria Calonder

С меки корици

17.14 € 33.51 лв

Mimi raconte moi + CD Djamel & Megane : mêle pas peur ! Mimie Mathy

С меки корици

21.43 € 41.92 лв

Mordkap Rainer Doh

С меки корици

16.15 € 31.59 лв

August 15 Kumari S. Neelacantan

С меки корици

31.69 € 61.98 лв

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.