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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formalized Probability Theory and Applications Using Theorem Proving

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

Osman

Sofiene

Lingua

Inglese

Libro elettronico Adobe ePub DRM

Casa editrice Information Science Reference, marzo 2015

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elemen... Descrizione completa

Codice Libristo: 40271386

518 b

211.59 €

Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

Proroctví Vodní říše

Gioco

13.29 €

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

Foglio

2.79 €

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

Blu-ray

14.29 €

POUR PREPARER AVENIR EGL FS483

In brossura

5.29 €

Die unmögliche Gemeinschaft Roman Schmidt

In brossura

18.09 €

Piri 2. Arbeitsheft in Schulausgangsschrift Klasse 2. Ausgabe Bayern

Foglio

11.99 €

Exercices de calcul avec autocollants (6-7 a.)

In brossura

12.89 €

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

binding.

4.69 €

Das Geigen-Schulwerk. H.1 Erich Doflein

Note

15.49 €

Who's afraid of Virginia Woolf? Edward Albee

In brossura

7.29 €

Bach et le nombre Kees van Houten

In brossura

30.89 €

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.