Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €
phone Kontakt phoneWie einkaufen

Formalized Probability Theory and Applications Using Theorem Proving

Sprache EnglischEnglisch
Buch Hardcover
Buch Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Libristo-Code: 03180012
Verlag Idea Group,U.S., März 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Vollständige Beschreibung
? points 507 b
207.19 € inkl. MwSt.
Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Tatíčku, vrať se k nám! 3 Jiří Bureš / Buch Broschur
common.buy 22.59 €
Srbština slovníček / Buch Broschur
common.buy 9.69 €
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Buch Broschur
common.buy 15.59 €
NEIL YOUNG : HARVEST (NOUVELLE EDITION) PIRENNE Buch Broschur
common.buy 11.79 €
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 5.59 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Buch Broschur
common.buy 23.89 €
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Buch Broschur
common.buy 14.79 €
Abriss Der Europäischen Staats- Und Rechtsgeschichte Friedrich Schuler von Libloy / Buch Hardcover
common.buy 33.99 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Buch Broschur
common.buy 10.99 €
ANNA KARENINA LEON TOLSTOI / Buch Broschur
common.buy 11.89 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Buch Broschur
common.buy 35.69 €
Penny Pepper - Chaos in der Schule Ulrike Rylance / Buch Broschur
common.buy 13.00 €
Russian Grammar L. Babalova / Buch Broschur
common.buy 34.49 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2015
Anzahl der Seiten 300
EAN 9781466683150
ISBN 9781466683150
Libristo-Code 03180012
Verlag Idea Group,U.S.
Gewicht 787
Abmessungen 152 x 229 x 21

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Wahrscheinlichkeitsrechnung und Statistik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Buch Broschur
common.buy 321.39 €
Tartan the Tie's Super Job James Siegrist / Buch Broschur
common.buy 11.29 €
Spanish American Poetry after 1950 Donald L. Shaw / Buch Hardcover
common.buy 128.89 €
Political and Military Sociology III McDonald / Buch Broschur
common.buy 79.59 €
How Food Really Works Smil / Buch Broschur
common.buy 16.09 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Buch Broschur
common.buy 22.89 €
Flight to Fight M L Buchman / Buch Broschur
common.buy 5.69 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Buch Broschur
common.buy 17.79 €
Top Neu
Translanguaging in English Language Classrooms Jason Anderson / Buch Broschur
common.buy 34.69 €
Don't Give Up In Your Storm GWENDOLYN DIC BOWEN / Buch Broschur
common.buy 8.49 €
Modeling Pressure Dependent Mechanical Properties of GaAsSb Alloys Mazin Othman / Buch Broschur
common.buy 42.89 €
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 / Buch Hardcover
common.buy 35.19 €
Günstig
Serious Proposal to the Ladies, for the Advancement of Their True and Greatest Interest. in Two Parts. by a Lover of Her Sex MARY ASTELL / Buch Hardcover
common.buy 29.09 €
Stand Up for Sportsmanship Frank Murphy / Buch Hardcover
common.buy 25.09 €
Christmas Wood Scrapbook Paper Pad 8x8 Scrapbooking Kit for Papercrafts, Cardmaking, Printmaking, DIY Crafts, Holiday Themed, Designs, Borders, Backgr Crafty as Ever / Buch Broschur
common.buy 10.99 €
Complicities Mark Sanders / Buch Hardcover
common.buy 131.29 €
HowExpert Guide to Currency Collecting HowExpert / Buch Broschur
common.buy 25.39 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Buch Broschur
common.buy 53.79 €
This Simian World Clarence Day / Buch Broschur
common.buy 8.49 €
Andy the Acrobat Peter T. Harkness / Buch Hardcover
common.buy 21.49 €
Aerodynamics Theodore von Karman / Buch Broschur
common.buy 13.69 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Buch Broschur
common.buy 20.49 €
Rural Energy Development in China Robert P. Taylor / Buch Hardcover
common.buy 177.59 €
Energy from Water Nancy Dickman / Buch Broschur
common.buy 10.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?