Code: 03180012
Formalized Probability Theory and Applications Using Theorem Proving
by SofiYne Tahar
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 provin ... more
- Language:
English - Binding: Hardback
- Number of pages: 300
Publisher: Idea Group,U.S., 2015
- More about this
You might also like
-
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics
323.84 € -2 % -
Place of Science in a World of Values and Facts
58.56 € -
Andy the Acrobat
45.68 € -
Sage 50 Accounts For Dummies 4th UK Edition
18.21 € -23 % -
Rural Energy Development in China
133.23 € -
Energy from Water
11.56 € -4 % -
Life Changes
16.70 € -2 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formalized Probability Theory and Applications Using Theorem Proving
You get 545 loyalty points
Book synopsis
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. It combines practical application with theoretical discussion.
Book details
Book category Books in English Mathematics & science Mathematics Probability & statistics
216.66 €
- Full title: Formalized Probability Theory and Applications Using Theorem Proving
- Author: SofiYne Tahar
- Language: English
- Binding: Hardback
- Number of pages: 300
- EAN: 9781466683150
- ISBN: 9781466683150
- ID: 03180012
- Publisher: Idea Group,U.S.
- Weight: 787 g
- Dimensions: 229 × 152 × 21 mm
- Date of publishing: 31. March 2015
Trending among others
-
How to Lie with Statistics
11.26 € -28 % -
Naked Statistics
16.19 € -14 % -
Cartoon Introduction to Statistics
17.10 € -25 % -
Logic of Miracles
35.51 € -9 % -
Statistics For Dummies, 2nd Edition
18.21 € -29 % -
Theory That Would Not Die
18.10 € -
Elements of Statistical Learning
86.84 € -
Continued Fractions
7.54 € -25 % -
How to Lie with Statistics
10.66 € -29 % -
Introduction to Statistical Learning
68.83 € -
Probability Theory
7.94 € -28 % -
Schaum's Outline of Probability and Statistics
19.21 € -28 % -
An Introduction to Statistical Learning
130.41 € -
Statistical Analysis with R For Dummies
21.02 € -35 % -
Schaum's Outline of Introduction to Probability and Statistics
25.35 € -20 % -
Statistical Analysis of Experimental Data
17.40 € -23 % -
Introduction to the Practice of Statistics
93.18 € -
Schaum's Outline of Probability, Random Variables, and Random Processes, Fourth Edition
26.96 € -19 % -
Foundations of the Theory of Probability
10.46 € -
Schaum's Outline of Beginning Statistics, Second Edition
30.08 € -19 % -
Introductory Econometrics for Finance
65.91 € -
Modern Introduction to Probability and Statistics
39.84 € -13 % -
First Course in Probability, Global Edition
98.11 € -
Introductory Statistics
145.61 € -
Probability
90.97 € -
Mathematics of Technical Analysis
38.13 € -24 % -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
29.58 € -
Biostatistics For Dummies
18.31 € -29 % -
Statistics Done Wrong
23.04 € -9 % -
Discovering Statistics Using R
84.93 € -9 % -
Introduction to Statistical Learning
85.83 € -
Manga Guide To Regression Analysis
21.93 € -15 % -
Fifty Challenging Problems in Probability with Solutions
9.25 € -24 % -
Manga Guide To Statistics
22.13 € -14 % -
Introduction to Probability, Second Edition
91.17 € -4 % -
Measurement: A Very Short Introduction
10.05 € -28 % -
Statistics
66.81 € -
Bayesian Data Analysis
105.66 € -4 % -
Head First Statistics
34.91 € -23 % -
Statistics: A Very Short Introduction
9.25 € -28 % -
Doing Bayesian Data Analysis
83.42 € -
Statistical Inference
100.12 € -
Causal Inference in Statistics - A Primer
41.15 € -7 % -
Data Science Handbook
48.80 € -26 % -
Foundations of the Theory of Probability: Second English
11.26 € -28 % -
Think Stats 2e
34.91 € -1 % -
Generalized Additive Models
112 € -
Bayesian Statistics - An Introduction 4e
88.35 € -
Introductory Time Series with R
57.76 € -3 %
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)