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.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
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 540 b
220.79 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 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 €
Penny Pepper - Chaos in der Schule Ulrike Rylance / Buch Broschur
common.buy 14.49 €
Top
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Buch Broschur
common.buy 17.49 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Buch Broschur
common.buy 27.29 €
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Buch Broschur
common.buy 15.09 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Buch Broschur
common.buy 10.99 €
ANNA KARENINA LEON TOLSTOI / Buch Broschur
common.buy 13.19 €
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 7.59 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Buch Broschur
common.buy 36.39 €
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 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Buch Broschur
common.buy 50.79 €
Stand Up for Sportsmanship Frank Murphy / Buch Hardcover
common.buy 30.19 €
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.79 €
Kautilya's Arthashastra Kautilya's Arthashastra / Buch Broschur
common.buy 28.49 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Buch Broschur
common.buy 17.79 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Buch Broschur
common.buy 25.99 €
Spanish American Poetry after 1950 Donald L. Shaw / Buch Hardcover
common.buy 135.59 €
Antinomies of Modernity Vasant Kaiwar / Buch Hardcover
common.buy 136.09 €
Complicities Mark Sanders / Buch Hardcover
common.buy 130.19 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Buch Broschur
common.buy 46.59 €
Life Changes Grace Milline / Buch Broschur
common.buy 17.09 €
Energy from Water Nancy Dickman / Buch Broschur
common.buy 10.09 €
Rural Energy Development in China Robert P. Taylor / Buch Hardcover
common.buy 151.59 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Buch Broschur
common.buy 21.19 €
Aerodynamics Theodore von Karman / Buch Broschur
common.buy 14.29 €
Andy the Acrobat Peter T. Harkness / Buch Hardcover
common.buy 21.49 €
This Simian World Clarence Day / Buch Broschur
common.buy 8.49 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Buch Broschur
common.buy 53.79 €
Top
How Food Really Works Smil / Buch Broschur
common.buy 16.09 €
HowExpert Guide to Currency Collecting HowExpert / Buch Broschur
common.buy 25.99 €

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?