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 - Vazba: Pevná
- Počet stran: 300
Nakladatelství: Idea Group,U.S., 2015
- Více informací o knize
Mohlo by se vám také líbit
-
Aerodynamics
287 Kč -
Práce na sobě Diagnostika karmy 6
320 Kč -
How Food Really Works
359 Kč -
Russian Grammar
758 Kč -
Penny Pepper - Chaos in der Schule
269 Kč -
Tatíčku, vrať se k nám! 3
493 Kč -
HowExpert Guide to Currency Collecting
577 Kč -
Populophobie - Pourquoi il faut remplacer la classe dirigeante française
639 Kč -
Wiersze dla dzieci
169 Kč -
Shamanism and Spirituality in Therapeutic Practice
1278 Kč -
ANNA KARENINA
308 Kč -
Sage 50 Accounts For Dummies 4th UK Edition
458 Kč -
Kautilya's Arthashastra
630 Kč -
Spanish American Poetry after 1950
3050 Kč -
Treatise on Levelling, Topography and Higher Surveying
587 Kč -
Works of the Late Dr. Benjamin Franklin. Consisting of His Life, Written by Himself. Together with Essays, Humorous, Moral, and Literary; Chiefly in t
794 Kč -
Place of Science in a World of Values and Facts
1350 Kč -
Barriers to Global Stock Listing Among African Companies
577 Kč -
Andy the Acrobat
895 Kč -
Stand Up for Sportsmanship
661 Kč -
This Simian World
414 Kč -
Heiter bis wolkig wetterwendische Geschichten fur alle Tage
599 Kč -
Life Changes
380 Kč -
Avaliacao dos documentos de licenciamento do uso de fontes radioativas
1231 Kč -
Theatre Complet de M. Eugene Scribe. Tome 10
812 Kč -
Rural Energy Development in China
3396 Kč -
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics
8265 Kč -
Antinomies of Modernity
3127 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Formalized Probability Theory and Applications Using Theorem Proving
Nákupem získáte 474 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Probability & statistics
4740 Kč
- Plný název: Formalized Probability Theory and Applications Using Theorem Proving
- Autor: SofiYne Tahar
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 300
- EAN: 9781466683150
- ISBN: 9781466683150
- ID: 03180012
- Nakladatelství: Idea Group,U.S.
- Hmotnost: 787 g
- Rozměry: 229 × 152 × 21 mm
- Datum vydání: 31. March 2015
Oblíbené z jiného soudku
-
How to Lie with Statistics
240 Kč -
How to Lie with Statistics
329 Kč -
Theory That Would Not Die
334 Kč -
Probability and Statistics with R
3588 Kč -
Naked Statistics
311 Kč -
Fifty Challenging Problems in Probability with Solutions
194 Kč -
Statistics For Dummies, 2nd Edition
412 Kč -
Schaum's Outline of Probability and Statistics
458 Kč -
Statistics Workbook For Dummies, 2nd Edition with Online Practice
412 Kč -
Foundations of Modern Probability
2235 Kč -
Unfinished Game
539 Kč -
Basic Probability Theory
385 Kč -
Bayesian Analysis with Python
1296 Kč -
Statistical Thermodynamics
178 Kč -
Manga Guide To Statistics
412 Kč -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
752 Kč -
Elements of Statistical Learning
2075 Kč -
Statistics Done Wrong
400 Kč -
Manga Guide To Regression Analysis
420 Kč -
Bayesian Data Analysis
2688 Kč -
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
865 Kč -
Elementary Decision Theory
380 Kč -
Introduction to Statistical Learning
1521 Kč -
Introduction to Probability, Second Edition
2567 Kč -
Statistics
1572 Kč -
Collected Works of C.G. Jung
458 Kč -
Introductory Econometrics for Finance
1498 Kč -
Probability Theory
191 Kč -
Statistics: A Very Short Introduction
225 Kč -
Foundations of the Theory of Probability
230 Kč -
Probability Theory
3299 Kč -
Causal Inference in Statistics - A Primer
940 Kč -
Doing Bayesian Data Analysis
2133 Kč -
Cambridge International AS & A Level Mathematics Probability & Statistics 1
804 Kč -
First Course in Probability, Global Edition
2130 Kč -
Applied Time Series Analysis and Forecasting with Python
1789 Kč -
Schaum's Outline of Beginning Statistics, Second Edition
693 Kč -
Understanding Probability
1688 Kč -
Statistical Physics
2007 Kč -
Probability and Computing
1475 Kč -
First Look At Rigorous Probability Theory, A (2nd Edition)
790 Kč -
Seven Pillars of Statistical Wisdom
619 Kč -
Analytic Combinatorics
2658 Kč -
Modern Statistics
2175 Kč -
Practice of Statistics for Business and Economics
2249 Kč -
Handbook of Statistical Analyses using R
2254 Kč -
Choosing and Using Statistics - A Biologists' Guide 3e
953 Kč -
Practical Nonparametric Statistics 3e
6439 Kč -
Probability with R - An Introduction with Computer Science Applications, Second Edition
2551 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46611 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)