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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formalized Probability Theory and Applications Using Theorem Proving

Name: Formalized Probability Theory and Applications Using Theorem Proving
Brand: Information Science Reference
SKU: 40271386
Price: 212.31 EUR
Availability: InStock
Author: Osman
ISBN: 9781466683174

Osman

Sofiene

Língua

Inglês

E-book Adobe ePub DRM

Editoras Information Science Reference, março 2015

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elemen... Descrição completa

Código Libristo: 40271386

513 b

212.31 €

Em stock Imediatamente descarregável

Os clientes também compraram

Proroctví Vodní říše

Jogo

14.48 €

Budapest környéke lépésről lépésre Bartos Erika

Folha

3.03 €

Bach et le nombre Kees van Houten

Capa mole

41.64 €

King Arthur: Legend of the Sword, 1 Blu-ray James Herbert

Blu-ray

12.46 €

POUR PREPARER AVENIR EGL FS483

Capa mole

5.87 €

Młodzi przyrodnicy. Zima w świecie przyrody Patrycja Zarawska

binding.

5.16 €

Die unmögliche Gemeinschaft Roman Schmidt

Capa mole

19.65 €

Piri 2. Arbeitsheft in Schulausgangsschrift Klasse 2. Ausgabe Bayern

Folha

14.08 €

Who's afraid of Virginia Woolf? Edward Albee

Capa mole

6.07 €

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.