Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formalized Probability Theory and Applications Using Theorem Proving

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

Osman

Sofiene

Język

Angielski

E-book Adobe ePub DRM

Wydawnictwo Information Science Reference, marzec 2015

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elemen... Cały opis

Kod Libristo: 40271386

597 b

1 045.81 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Proroctví Vodní říše

Gra

69.78 zł

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

Karta

14.53 zł

Bach et le nombre Kees van Houten

Miękka

132.46 zł

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

Blu-ray

58.25 zł

POUR PREPARER AVENIR EGL FS483

Miękka

28.37 zł

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

binding.

23.96 zł

Die unmögliche Gemeinschaft Roman Schmidt

Miękka

93.25 zł

Piri 2. Arbeitsheft in Schulausgangsschrift Klasse 2. Ausgabe Bayern

Karta

57.05 zł

Who's afraid of Virginia Woolf? Edward Albee

Miękka

29.57 zł

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.