Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Stochastic Model Checking Anne Remke

Stochastic Model Checking

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

Mariëlle Stoelinga

Língua

Inglês

Livro Capa mole

Livro Stochastic Model Checking Anne Remke

Código Libristo: 09030400

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

The use of stochastic models in computer science is wide spread, for instance in performance modelin... Descrição completa

Código Libristo: 09030400

?

points

141 b

58.32 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Willkommen. Ein Buch über Freundschaft Alison Green

/

Livro de capa dura

13.13 €

Die Nominalflexion Der Indogermanischen Sprachen (1878) Karl Penka

/

Capa mole

26.48 €

Actes et Paroles, Volume 3 Victor Hugo

/

Capa mole

17.88 €

Odyssée lumpen Alberto PRUNETTI

/

Capa mole

21.73 €

PORMISHUEVISMO ERIK HARLEY

/

Livro

23.54 €

Non sono un gentiluomo, duchessa Marianna Vidal

/

Capa mole

22.03 €

Einheimische Fische Kurt Floericke

/

Capa mole

26.78 €

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

/

Capa mole

19.40 €

August 15 Kumari S. Neelacantan

/

Capa mole

31.63 €

Endstation Engadin Gian Maria Calonder

/

Capa mole

16.17 €

Mordkap Rainer Doh

/

Capa mole

14.35 €

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

/

Capa mole

33.55 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Stochastic Model Checking

Autor Anne Remke, Mariëlle Stoelinga

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2014

Número de páginas 281

EAN 9783662454886

ISBN 3662454882

Código Libristo 09030400

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

Peso 454

Dimensões 239 x 160 x 18

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos

Informática & tecnologia da informação > Aplicações empresariais > Programas matemáticos e estatísticos

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

High Dielectric Constant Materials David Gilmer

/

Capa mole

275.78 €

Reading EEGs: A Practical Approach L. John Greenfield

/

Capa mole

131.21 €

Tammy's Pocket Posh Journal, Tulip Andrews McMeel Publishing

/

Capa mole

7.67 €

Teaching Mathematically Able Children Roy Kennard

/

Livro de capa dura

233.92 €

Computer Aided Design SARKAR

/

Capa mole

121.40 €

Do New Leaders Make a Difference? Valerie Bunce

/

Livro de capa dura

121.20 €

Lion and the Unicorn RICHARD HARDIN DAVIS

/

Capa mole

21.83 €

Into Vastness: The Purpose of Existence Desthein

/

Capa mole

19.30 €

Prostate Cancer Murray Keith Wadsworth

/

Capa mole

12.02 €

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

/

Livro de capa dura

56.10 €

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

/

Capa mole

12.63 €

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

/

Capa mole

28.30 €

Textile Industries William S. Murphy

/

Capa mole

21.22 €

Love Tomas Espedal

/

Livro de capa dura

16.27 €

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

/

Adobe ePub DRM

19.40 €

Psychedelics and Mental Health Irene de Caso

/

Capa mole

23.14 €

Where the Mountains Meet the Moon Paula Clemons-Combs

/

Capa mole

12.73 €

How I Became a Superhero Carolina Lopez Saglietti

/

Capa mole

13.94 €

Heir of Illusion Madeline Taylor

/

Livro de capa dura

22.84 €

LET US PRAY FOR THE CHILDREN Ghandarva V. Muni

/

Capa mole

13.03 €

New York Stock Exchange in the Crisis of 1914 (WWI Centenary Series) Henry George Noble

/

Capa mole

18.29 €

Rising from the Ashes Akiko Mikamo

/

Capa mole

16.37 €

Racket Eric McCrossan

/

Capa mole

9.90 €

Flowing Traces William R. Lafleur

/

Capa mole

61.15 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?