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
Mohlo by sa vám tiež páčiť
-
Making Things: Finding Use, Meaning, and Satisfaction in Crafting Everyday Objects
25.65 € -25 % -
Translanguaging in English Language Classrooms
33.30 € -
Aerodynamics
12.97 € -24 % -
Práce na sobě Diagnostika karmy 6
17.10 € -11 % -
How Food Really Works
14.98 € -26 % -
Srbština slovníček
9.95 € -16 % -
Russian Grammar
31.19 € -11 % -
Penny Pepper - Chaos in der Schule
11.76 € -10 % -
Tatíčku, vrať se k nám! 3
20.32 € -15 % -
HowExpert Guide to Currency Collecting
24.34 € -2 % -
Populophobie - Pourquoi il faut remplacer la classe dirigeante française
25.15 € -
Wiersze dla dzieci
5.93 € -7 % -
ANNA KARENINA
12.57 € -
Shamanism and Spirituality in Therapeutic Practice
51.21 € -
Sage 50 Accounts For Dummies 4th UK Edition
19.31 € -25 % -
Serious Proposal to the Ladies, for the Advancement of Their True and Greatest Interest. in Two Parts. by a Lover of Her Sex
29.28 € -22 % -
Christmas Wood Scrapbook Paper Pad 8x8 Scrapbooking Kit for Papercrafts, Cardmaking, Printmaking, DIY Crafts, Holiday Themed, Designs, Borders, Backgr
10.56 € -2 % -
Modeling Pressure Dependent Mechanical Properties of GaAsSb Alloys
40.75 € -14 % -
Spanish American Poetry after 1950
124.08 € -
Assessing Information Trustability in a Secure Web Services Environment
15.89 € -10 % -
Fiber in Human Nutrition
51.42 € -7 % -
Theatre Complet de M. Eugene Scribe. Tome 10
34.21 € -
Tartan the Tie's Super Job
10.86 € -6 % -
Avaliacao dos documentos de licenciamento do uso de fontes radioativas
176.41 € -14 % -
Andy the Acrobat
20.52 € -14 % -
Political and Military Sociology
76.58 € -
Life Changes
15.99 € -2 % -
Treatise on Levelling, Topography and Higher Surveying
16.90 € -14 % -
100 Years of Celebrating Labor Day in Ripley, Tennessee
15.09 € -2 % -
Flight to Fight
5.22 € -25 % -
Works of the Late Dr. Benjamin Franklin. Consisting of His Life, Written by Himself. Together with Essays, Humorous, Moral, and Literary; Chiefly in t
33.50 € -10 % -
Antinomies of Modernity
132.13 € -
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur
14.18 € -2 % -
Barriers to Global Stock Listing Among African Companies
21.83 € -10 % -
Place of Science in a World of Values and Facts
51.42 € -7 % -
Energy from Water
10.15 € -9 % -
Módulo transversal de Ofimática. Certificado de Profesionalidad
30.68 € -
Heiter bis wolkig wetterwendische Geschichten fur alle Tage
9.95 € -10 % -
Stand Up for Sportsmanship
23.64 € -25 % -
Rural Energy Development in China
170.87 € -
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics
306.83 € -7 % -
Abriss Der Europäischen Staats- Und Rechtsgeschichte
32.60 € -1 % -
A Treatise on the Law of Mercantile Guarantees and of Principal and Surety in General.
26.86 € -25 % -
Don't Give Up In Your Storm
8.04 € -25 % -
What Frances E. Willard Said (1905)
24.34 € -1 % -
This Simian World
8.14 € -14 % -
Complicities
126.39 € -
Morcote (Puzzle)
33.90 € -
Consumption and Violence
77.98 €
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 484 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
199.25 €
- 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
-
Naked Statistics
12.97 € -28 % -
How to Lie with Statistics
13.27 € -28 % -
Elementary Introduction to the Theory of Probability
8.04 € -25 % -
Quantile Regression
137.46 € -
Fifty Challenging Problems in Probability with Solutions
8.75 € -24 % -
How to Lie with Statistics
10.86 € -25 % -
Probability Theory
146.52 € -
Measurement: A Very Short Introduction
9.45 € -30 % -
Theory of Open Quantum Systems
84.22 € -
Manga Guide To Statistics
18.61 € -25 % -
Elements of Statistical Learning
88.45 € -
Introduction to Probability, Second Edition
112.60 € -
Foundations of the Theory of Probability: Second English
11.46 € -27 % -
First Course in Probability, Global Edition
93.08 € -
Probability: A Very Short Introduction
10.15 € -25 % -
Basic Probability Theory
17.20 € -24 % -
Stochastic Processes and Filtering Theory
15.99 € -30 % -
Introduction to Statistical Learning
60.37 € -9 % -
Statistics: A Very Short Introduction
10.15 € -25 % -
Statistical Physics
88.75 € -8 % -
Using Multivariate Statistics
82.31 € -14 % -
40 Puzzles and Problems in Probability and Mathematical Statistics
50.21 € -9 % -
The Fundamentals of People Analytics
41.15 € -7 % -
Probability Through Problems, 1
110.19 € -9 % -
Time-Series Forecasting
238.50 € -
Generalized Additive Models for Location, Scale, and Shape
69.83 € -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
32.50 € -
Statistical Thermodynamics
8.04 € -25 % -
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
42.36 € -
Probability Theory
8.04 € -25 % -
Statistics Done Wrong
24.24 € -7 % -
Schaum's Outline of Probability and Statistics
19.31 € -25 % -
Statistics Workbook For Dummies, 2nd Edition with Online Practice
17.70 € -28 % -
Statistics For Dummies, 2nd Edition
18.61 € -25 % -
Manga Guide To Regression Analysis
17.60 € -31 % -
Theory That Would Not Die
14.38 € -25 % -
An Introduction to Statistical Learning
123.17 € -
Foundations of the Theory of Probability
6.53 € -27 % -
Collected Works of C.G. Jung
20.72 € -24 % -
Probability Theory
25.65 € -24 % -
Continued Fractions
7.34 € -25 % -
Elementary Decision Theory
17.20 € -24 % -
Foundations of Modern Probability
104.55 € -5 % -
Outlier Analysis
55.24 € -9 % -
Probability and Computing
69.43 € -5 % -
Probability Essentials
70.23 € -9 % -
Unfinished Game
23.84 € -
Probability and Statistics with R
153.66 € -
Philosophy and Probability
53.83 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 13628 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
25 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)