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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Stochastic Model Checking

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

117 b

47.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Einheimische Fische Kurt Floericke

Broschur

29.90 €

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

Broschur

29.89 €

Willkommen. Ein Buch über Freundschaft Alison Green

Hardcover

15.00 €

Actes et Paroles, Volume 3 Victor Hugo

Broschur

15.59 €

Odyssée lumpen Alberto PRUNETTI

Broschur

18.39 €

PORMISHUEVISMO ERIK HARLEY

Buch

20.69 €

Mordkap Rainer Doh

Broschur

16.90 €

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

Broschur

16.49 €

Dix jours qui ébranleront le monde Alain Minc

Buch

18.19 €

Die Nominalflexion Der Indogermanischen Sprachen (1878) Karl Penka

Broschur

23.49 €

August 15 Kumari S. Neelacantan

Broschur

26.79 €

Endstation Engadin Gian Maria Calonder

Broschur

17.90 €

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