Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formalized Probability Theory and Applications Using Theorem Proving

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Libristo-code: 03180012
Uitgeverij Idea Group,U.S., maart 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Volledige beschrijving
? points 516 b
212.56 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Tatíčku, vrať se k nám! 3 Jiří Bureš / Boek Gebonden (paperback)
common.buy 21.08 €
Wiersze dla dzieci Julian Tuwim / Audio Audio cd
common.buy 6.95 €
ANNA KARENINA LEON TOLSTOI / Boek Gebonden (paperback)
common.buy 12.60 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Boek Gebonden (paperback)
common.buy 35.10 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Boek Gebonden (paperback)
common.buy 9.98 €
Wordt verwacht
Penny Pepper - Chaos in der Schule Ulrike Rylance / Boek Gebonden (paperback)
common.buy 11.79 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Boek Gebonden (paperback)
common.buy 26.42 €
TOP
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Boek Gebonden (paperback)
common.buy 16.74 €
Russian Grammar L. Babalova / Boek Gebonden (paperback)
common.buy 32.98 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formalized Probability Theory and Applications Using Theorem Proving
Auteur SofiYne Tahar
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2015
Aantal pagina's 300
EAN 9781466683150
ISBN 9781466683150
Libristo-code 03180012
Uitgeverij Idea Group,U.S.
Gewicht 787
Afmetingen 152 x 229 x 21

Categorieën

Wiskunde en wetenschap > Wiskunde > Waarschijnlijkheid en statistieken
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Boek Gebonden (paperback)
common.buy 307.59 €
Spanish American Poetry after 1950 Donald L. Shaw / Boek Gebonden (harde band)
common.buy 131.24 €
HowExpert Guide to Currency Collecting / Boek Gebonden (paperback)
common.buy 25.01 €
TOP
How Food Really Works Smil / Boek Gebonden (paperback)
common.buy 15.22 €
Stand Up for Sportsmanship Frank Murphy / Boek Gebonden (harde band)
common.buy 28.84 €
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 / Boek Gebonden (harde band)
common.buy 34.39 €
Kautilya's Arthashastra Kautilya's Arthashastra / Boek Gebonden (paperback)
common.buy 27.33 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Boek Gebonden (paperback)
common.buy 16.94 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Boek Gebonden (paperback)
common.buy 25.01 €
Antinomies of Modernity Vasant Kaiwar / Boek Gebonden (harde band)
common.buy 131.34 €
Complicities Mark Sanders / Boek Gebonden (harde band)
common.buy 125.59 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Boek Gebonden (paperback)
common.buy 44.38 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Boek Gebonden (paperback)
common.buy 51.54 €
This Simian World Clarence Day / Boek Gebonden (paperback)
common.buy 8.16 €
Andy the Acrobat Peter T. Harkness / Boek Gebonden (harde band)
common.buy 20.47 €
Aerodynamics Theodore von Karman / Boek Gebonden (paperback)
common.buy 13.51 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Boek Gebonden (paperback)
common.buy 20.17 €
Rural Energy Development in China Robert P. Taylor / Boek Gebonden (harde band)
common.buy 146.48 €
Energy from Water Nancy Dickman / Boek Gebonden (paperback)
common.buy 9.68 €
Life Changes Grace Milline / Boek Gebonden (paperback)
common.buy 16.43 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Boek Gebonden (paperback)
common.buy 51.24 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken