Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Stochastic Model Checking Anne Remke

Stochastic Model Checking

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

Mariëlle Stoelinga

Lingua

Inglese

Libro In brossura

Libro Stochastic Model Checking Anne Remke

Codice Libristo: 09030400

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2014

The use of stochastic models in computer science is wide spread, for instance in performance modelin... Descrizione completa

Codice Libristo: 09030400

?

points

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

/

In brossura

36.79 €

Willkommen. Ein Buch über Freundschaft Alison Green

/

Rigido

13.69 €

Einheimische Fische Kurt Floericke

/

In brossura

27.99 €

Odyssée lumpen Alberto PRUNETTI

/

In brossura

23.69 €

PORMISHUEVISMO ERIK HARLEY

/

Libro

23.29 €

Non sono un gentiluomo, duchessa Marianna Vidal

/

In brossura

22.89 €

Endstation Engadin Gian Maria Calonder

/

In brossura

16.89 €

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

/

In brossura

21.19 €

In preparazione

Mordkap Rainer Doh

/

In brossura

15.99 €

August 15 Kumari S. Neelacantan

/

In brossura

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Stochastic Model Checking

Autore Anne Remke, Mariëlle Stoelinga

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2014

Numero di pagine 281

EAN 9783662454886

ISBN 3662454882

Codice Libristo 09030400

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

Peso 454

Dimensioni 239 x 160 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Informatica e Tecnologia dell’Informazione > Applicazioni aziendali > Programmi per la matematica e la statistica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

High Dielectric Constant Materials David Gilmer

/

In brossura

285.79 €

Reading EEGs: A Practical Approach L. John Greenfield

/

In brossura

137.19 €

Teaching Mathematically Able Children Roy Kennard

/

Rigido

221.99 €

Computer Aided Design SARKAR

/

In brossura

120.49 €

Do New Leaders Make a Difference? Valerie Bunce

/

Rigido

125.29 €

Lion and the Unicorn RICHARD HARDIN DAVIS

/

In brossura

23.59 €

Into Vastness: The Purpose of Existence Desthein

/

In brossura

20.09 €

Prostate Cancer Murray Keith Wadsworth

/

In brossura

12.69 €

Spuhler, F: Early Islamic Textiles from Along the Silk Road Friedrich Spuhler

/

Rigido

58.59 €

Bleach: Can't Fear Your Own World, Vol. 1 Tite Kubo

/

In brossura

12.49 €

Law of Tort: Outlines, Diagrams, and Study Aids Legal Yankee

/

In brossura

29.39 €

Textile Industries William S. Murphy

/

In brossura

21.99 €

Love Tomas Espedal

/

Rigido

16.09 €

How to Develop Self-Confidence & Influence People By Public Speaking Dale Carnegie

/

Adobe ePub DRM

20.09 €

Psychedelics and Mental Health Irene de Caso

/

In brossura

24.29 €

Where the Mountains Meet the Moon Paula Clemons-Combs

/

In brossura

13.19 €

How I Became a Superhero Carolina Lopez Saglietti

/

In brossura

14.49 €

Heir of Illusion Madeline Taylor

/

Rigido

24.29 €

LET US PRAY FOR THE CHILDREN Ghandarva V. Muni

/

In brossura

13.59 €

Tammy's Pocket Posh Journal, Tulip Andrews McMeel Publishing

/

In brossura

8.09 €

Reviews of Environmental Contamination and Toxicology Volume 207 David M. Whitacre

/

In brossura

115.59 €

Renal Disease Michael S. Goligorsky

/

In brossura

123.29 €

Flowing Traces William R. Lafleur

/

In brossura

45.49 €

Rising from the Ashes Akiko Mikamo

/

In brossura

16.99 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?