Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formalized Probability Theory and Applications Using Theorem Proving

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

Osman

Sofiene

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladateľstvo Information Science Reference, marec 2015

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elemen... Celý popis

Libristo kód: 40271386

601 b

248.43 €

Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

Proroctví Vodní říše

Hra

19.82 €

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

List

3.43 €

Bach et le nombre Kees van Houten

Brožovaná

31.25 €

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

Blu-ray

13.75 €

POUR PREPARER AVENIR EGL FS483

Brožovaná

6.77 €

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

binding.

6.56 €

Die unmögliche Gemeinschaft Roman Schmidt

Brožovaná

22.04 €

Piri 2. Arbeitsheft in Schulausgangsschrift Klasse 2. Ausgabe Bayern

List

13.44 €

Who's afraid of Virginia Woolf? Edward Albee

Brožovaná

6.97 €

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.