Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Stochastic Model Checking

Name: Stochastic Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09030400
Price: 60.39 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

Sprache

Englisch

Buch Broschur

Libristo-Code: 09030400

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2014

The use of stochastic models in computer science is wide spread, for instance in performance modelin... Vollständige Beschreibung

Libristo-Code: 09030400

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

Broschur

38.39 €

Willkommen. Ein Buch über Freundschaft Alison Green

Hardcover

15.00 €

Einheimische Fische Kurt Floericke

Broschur

29.90 €

Odyssée lumpen Alberto PRUNETTI

Broschur

23.69 €

PORMISHUEVISMO ERIK HARLEY

Buch

23.29 €

Non sono un gentiluomo, duchessa Marianna Vidal

Broschur

22.89 €

Endstation Engadin Gian Maria Calonder

Broschur

17.90 €

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

Broschur

21.19 €

Mordkap Rainer Doh

Broschur

16.90 €

August 15 Kumari S. Neelacantan

Broschur

32.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Stochastic Model Checking

Autor Anne Remke, Mariëlle Stoelinga

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 281

EAN 9783662454886

ISBN 3662454882

Libristo-Code 09030400

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 454

Abmessungen 239 x 160 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Unternehmensanwendungen > Mathematische und statistische Software

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert