Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formalized Probability Theory and Applications Using Theorem Proving

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Libristo kod: 03180012
Nakladnici Idea Group,U.S., ožujak 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Cijeli opis
? points 491 b
203.01 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

Tatíčku, vrať se k nám! 3 Jiří Bureš / Knjiga Meki uvez
common.buy 19.92 €
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 6.67 €
ANNA KARENINA LEON TOLSTOI / Knjiga Meki uvez
common.buy 12.13 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Knjiga Meki uvez
common.buy 35.19 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Knjiga Meki uvez
common.buy 10.00 €
Pripremamo
Penny Pepper - Chaos in der Schule Ulrike Rylance / Knjiga Meki uvez
common.buy 11.83 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Knjiga Meki uvez
common.buy 25.28 €
Top
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Knjiga Meki uvez
common.buy 15.77 €
Russian Grammar L. Babalova / Knjiga Meki uvez
common.buy 29.53 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2015
Broj stranica 300
EAN 9781466683150
ISBN 9781466683150
Libristo kod 03180012
Nakladnici Idea Group,U.S.
Težina 787
Dimenzije 152 x 229 x 21

Kategorija

Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Knjiga Meki uvez
common.buy 308.42 €
Spanish American Poetry after 1950 Donald L. Shaw / Knjiga Tvrdi uvez
common.buy 131.60 €
HowExpert Guide to Currency Collecting / Knjiga Meki uvez
common.buy 25.08 €
Top
How Food Really Works Smil / Knjiga Meki uvez
common.buy 15.26 €
Stand Up for Sportsmanship Frank Murphy / Knjiga Tvrdi uvez
common.buy 28.92 €
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 / Knjiga Tvrdi uvez
common.buy 34.48 €
Kautilya's Arthashastra Kautilya's Arthashastra / Knjiga Meki uvez
common.buy 27.40 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Knjiga Meki uvez
common.buy 16.98 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Knjiga Meki uvez
common.buy 25.08 €
Antinomies of Modernity Vasant Kaiwar / Knjiga Tvrdi uvez
common.buy 131.70 €
Complicities Mark Sanders / Knjiga Tvrdi uvez
common.buy 125.93 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Knjiga Meki uvez
common.buy 44.50 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Knjiga Meki uvez
common.buy 51.68 €
This Simian World Clarence Day / Knjiga Meki uvez
common.buy 8.18 €
Andy the Acrobat Peter T. Harkness / Knjiga Tvrdi uvez
common.buy 20.52 €
Aerodynamics Theodore von Karman / Knjiga Meki uvez
common.buy 13.54 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Knjiga Meki uvez
common.buy 20.22 €
Rural Energy Development in China Robert P. Taylor / Knjiga Tvrdi uvez
common.buy 146.87 €
Energy from Water Nancy Dickman / Knjiga Meki uvez
common.buy 9.70 €
Life Changes Grace Milline / Knjiga Meki uvez
common.buy 16.48 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Knjiga Meki uvez
common.buy 51.38 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?