Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formalized Probability Theory and Applications Using Theorem Proving

Language EnglishEnglish
Book Hardback
Book Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Libristo code: 03180012
Publishers Idea Group,U.S., March 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Full description
? points 493 b
202.09 €
In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Tatíčku, vrať se k nám! 3 Jiří Bureš / Book Paperback
common.buy 20.94 €
Srbština slovníček / Book Paperback
common.buy 9.31 €
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Book Paperback
common.buy 18.03 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Book Paperback
common.buy 34.88 €
NEIL YOUNG : HARVEST (NOUVELLE EDITION) PIRENNE Book Paperback
common.buy 12.32 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Book Paperback
common.buy 24.95 €
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Book Paperback
common.buy 14.43 €
Abriss Der Europäischen Staats- Und Rechtsgeschichte Friedrich Schuler von Libloy / Book Hardback
common.buy 33.27 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Book Paperback
common.buy 9.91 €
ANNA KARENINA LEON TOLSTOI / Book Paperback
common.buy 12.52 €
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 6.10 €
Penny Pepper - Chaos in der Schule Ulrike Rylance / Book Paperback
common.buy 13.52 €
Russian Grammar L. Babalova / Book Paperback
common.buy 31.07 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formalized Probability Theory and Applications Using Theorem Proving
Author SofiYne Tahar
Language English
Binding Book - Hardback
Date of issue 2015
Number of pages 300
EAN 9781466683150
ISBN 9781466683150
Libristo code 03180012
Publishers Idea Group,U.S.
Weight 787
Dimensions 152 x 229 x 21

Categories

Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Book Paperback
common.buy 305.64 €
New
Translanguaging in English Language Classrooms Jason Anderson / Book Paperback
common.buy 33.87 €
Stand Up for Sportsmanship Frank Murphy / Book Hardback
common.buy 28.66 €
Works of the Late Dr. Benjamin Franklin. Consisting of His Life, Written by Himself. Together with Essays, Humorous, Moral, and Literary; Chiefly in t Benjamin Franklin / Book Hardback
common.buy 34.17 €
Modeling Pressure Dependent Mechanical Properties of GaAsSb Alloys Mazin Othman / Book Paperback
common.buy 40.59 €
Don't Give Up In Your Storm GWENDOLYN DIC BOWEN / Book Paperback
common.buy 8.31 €
Kautilya's Arthashastra Kautilya's Arthashastra / Book Paperback
common.buy 27.16 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Book Paperback
common.buy 16.83 €
Flight to Fight M L Buchman / Book Paperback
common.buy 5.60 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Book Paperback
common.buy 24.85 €
How Food Really Works Smil / Book Paperback
common.buy 15.13 €
Political and Military Sociology III McDonald / Book Paperback
common.buy 77.58 €
Spanish American Poetry after 1950 Donald L. Shaw / Book Hardback
common.buy 130.41 €
Antinomies of Modernity Vasant Kaiwar / Book Hardback
common.buy 130.51 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Book Paperback
common.buy 50.21 €
HowExpert Guide to Currency Collecting HowExpert / Book Paperback
common.buy 24.85 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Book Paperback
common.buy 51.12 €
This Simian World Clarence Day / Book Paperback
common.buy 8.11 €
Andy the Acrobat Peter T. Harkness / Book Hardback
common.buy 20.34 €
Top
Aerodynamics Theodore von Karman / Book Paperback
common.buy 13.42 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Book Paperback
common.buy 20.04 €
Rural Energy Development in China Robert P. Taylor / Book Hardback
common.buy 173.21 €
Energy from Water Nancy Dickman / Book Paperback
common.buy 9.61 €
Consumption and Violence Alexander Sedlmaier / Book Hardback
common.buy 78.88 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?