Kód: 03180012
Formalized Probability Theory and Applications Using Theorem Proving
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 300
Nakladateľ: Idea Group,U.S., 2015
- Viac informácií o knihe
206.36 €
Bežne: 206.41 €
Ušetríte 0.05 €
Skladom u dodávateľa
Odosielame za 10 - 18 dní
Mohlo by sa vám tiež páčiť
-
Aerodynamics
12.75 € -24 % -
Práce na sobě Diagnostika karmy 6
15.08 € -22 % -
How Food Really Works
14.17 € -31 % -
Russian Grammar
31.38 € -11 % -
Penny Pepper - Chaos in der Schule
11.84 € -10 % -
Tatíčku, vrať se k nám! 3
20.34 € -16 % -
HowExpert Guide to Currency Collecting
23.89 € -1 % -
Populophobie - Pourquoi il faut remplacer la classe dirigeante française
26.42 € -
Wiersze dla dzieci
6.98 € -
Shamanism and Spirituality in Therapeutic Practice
52.85 € -
ANNA KARENINA
12.75 € -
Sage 50 Accounts For Dummies 4th UK Edition
18.93 € -25 % -
Kautilya's Arthashastra
26.01 € -7 % -
Spanish American Poetry after 1950
126.16 € -
Treatise on Levelling, Topography and Higher Surveying
24.29 € -6 % -
Works of the Late Dr. Benjamin Franklin. Consisting of His Life, Written by Himself. Together with Essays, Humorous, Moral, and Literary; Chiefly in t
32.80 € -2 % -
Place of Science in a World of Values and Facts
55.89 € -
Barriers to Global Stock Listing Among African Companies
23.89 € -1 % -
Andy the Acrobat
38.98 € -
Life Changes
15.69 € -2 % -
Complicities
126.06 € -
Stand Up for Sportsmanship
28.95 € -9 % -
This Simian World
17.10 € -
Heiter bis wolkig wetterwendische Geschichten fur alle Tage
24.80 € -6 % -
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics
308.74 € -7 % -
Rural Energy Development in China
140.54 € -
Antinomies of Modernity
131.83 € -
Avaliacao dos documentos de licenciamento do uso de fontes radioativas
50.92 € -3 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Formalized Probability Theory and Applications Using Theorem Proving
Nákupom získate 499 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Probability & statistics
206.36 €
- Celý názov: Formalized Probability Theory and Applications Using Theorem Proving
- Autor: SofiYne Tahar
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 300
- EAN: 9781466683150
- ISBN: 9781466683150
- ID: 03180012
- Nakladateľ: Idea Group,U.S.
- Hmotnosť: 787 g
- Rozmery: 229 × 152 × 21 mm
- Dátum vydania: 31. March 2015
Obľúbené z iného súdka
-
How to Lie with Statistics
14.57 € -23 % -
Theory That Would Not Die
14.07 € -25 % -
Statistics Workbook For Dummies, 2nd Edition with Online Practice
18.01 € -26 % -
Probability and Statistics with R
148.44 € -
Naked Statistics
13.36 € -25 % -
How to Lie with Statistics
10.62 € -25 % -
Fifty Challenging Problems in Probability with Solutions
8.60 € -24 % -
Statistics For Dummies, 2nd Edition
18.32 € -24 % -
Schaum's Outline of Probability and Statistics
18.93 € -25 % -
Foundations of Modern Probability
83.13 € -10 % -
Unfinished Game
23.28 € -
Basic Probability Theory
16.80 € -25 % -
Bayesian Analysis with Python
53.66 € -1 % -
Statistical Thermodynamics
7.89 € -24 % -
Manga Guide To Statistics
18.32 € -24 % -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
32.70 € -
Elements of Statistical Learning
90.72 € -8 % -
Statistics Done Wrong
17.81 € -29 % -
Manga Guide To Regression Analysis
18.62 € -25 % -
Bayesian Data Analysis
116.64 € -
Collected Works of C.G. Jung
20.34 € -24 % -
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
39.58 € -
Probability Theory
143.48 € -
Elementary Decision Theory
16.80 € -25 % -
Introduction to Statistical Learning
66.01 € -
Introduction to Probability, Second Edition
111.28 € -
Statistics
66.82 € -5 % -
Introductory Econometrics for Finance
70.77 € -
Probability Theory
7.89 € -24 % -
Statistics: A Very Short Introduction
10.01 € -24 % -
Foundations of the Theory of Probability
9.91 € -
Causal Inference in Statistics - A Primer
42.72 € -5 % -
Doing Bayesian Data Analysis
92.54 € -
Cambridge International AS & A Level Mathematics Probability & Statistics 1
34.82 € -
First Course in Probability, Global Edition
88.09 € -7 % -
Applied Time Series Analysis and Forecasting with Python
66.82 € -10 % -
Schaum's Outline of Beginning Statistics, Second Edition
30.57 € -17 % -
Understanding Probability
73.40 € -
Statistical Physics
83.02 € -
Probability and Computing
64.39 € -5 % -
First Look At Rigorous Probability Theory, A (2nd Edition)
34.22 € -
Seven Pillars of Statistical Wisdom
19.63 € -25 % -
Analytic Combinatorics
115.73 € -
Modern Statistics
90.01 € -
Practice of Statistics for Business and Economics
98.01 € -1 % -
Handbook of Statistical Analyses using R
97.71 € -
Choosing and Using Statistics - A Biologists' Guide 3e
44.04 € -5 % -
Practical Nonparametric Statistics 3e
278.16 € -
Probability with R - An Introduction with Computer Science Applications, Second Edition
111.18 € -2 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)