Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formalized Probability Theory and Applications Using Theorem Proving

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

Osman

Sofiene

Sprache

Englisch

E-Book Adobe ePub DRM

Verlag Information Science Reference, März 2015

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elemen... Vollständige Beschreibung

Libristo-Code: 40271386

630 b

257.39 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

Proroctví Vodní říše

Spiel

18.29 €

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

Blatt

3.59 €

Bach et le nombre Kees van Houten

Broschur

32.79 €

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

Blu-ray

14.29 €

POUR PREPARER AVENIR EGL FS483

Broschur

6.89 €

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

binding.

6.89 €

Die unmögliche Gemeinschaft Roman Schmidt

Broschur

22.99 €

Piri 2. Arbeitsheft in Schulausgangsschrift Klasse 2. Ausgabe Bayern

Blatt

13.99 €

Who's afraid of Virginia Woolf? Edward Albee

Broschur

7.80 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formalized Probability Theory and Applications Using Theorem Proving

Autor Osman, Sofiene

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2015

Anzahl der Seiten 298

EAN 9781466683174

Libristo-Code 40271386

Verlag Information Science Reference

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Wahrscheinlichkeitsrechnung und Statistik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert