phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,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 569 b
226.76 €
Vanjske zalihe Šaljemo za 15-20 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

RASPRODAJA
Chránit vše živé Róši Philip Kapleau / Knjiga
common.buy 5.13 €
Pirátsky batoh plný dobrodružstiev neuvedený autor / Meki uvez
common.buy 6.14 €
Energy from Water Nancy Dickman / Meki uvez
common.buy 11.09 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Meki uvez
common.buy 21.78 €
Andy the Acrobat Peter T. Harkness / Tvrdi uvez
common.buy 47.91 €
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Meki uvez
common.buy 324.61 €
Rural Energy Development in China Robert P. Taylor / Tvrdi uvez
common.buy 139.70 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Meki uvez
common.buy 55.77 €
Life Changes Grace Milline / Meki uvez
common.buy 17.64 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Meki uvez
common.buy 61.42 €

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.

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

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