phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formalized Probability Theory and Applications Using Theorem Proving

Język AngielskiAngielski
Książka Twarda
Książka Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Kod Libristo: 03180012
Wydawnictwo Idea Group,U.S., marzec 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Cały opis
? points 545 b
931.15 zł
Dostępna u dostawcy Wysyłamy za 15-20 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Wyprzedaż
Chránit vše živé Róši Philip Kapleau / Książka
common.buy 22.26 zł
Pirátsky batoh plný dobrodružstiev neuvedený autor / Miękka
common.buy 26.97 zł
Energy from Water Nancy Dickman / Miękka
common.buy 45.13 zł
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Miękka
common.buy 1 320.54 zł
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Miękka
common.buy 93.28 zł
Andy the Acrobat Peter T. Harkness / Twarda
common.buy 205.32 zł
Rural Energy Development in China Robert P. Taylor / Twarda
common.buy 599.33 zł
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Miękka
common.buy 239.32 zł
Life Changes Grace Milline / Miękka
common.buy 75.52 zł
Place of Science in a World of Values and Facts Loucas G. Christophorou / Miękka
common.buy 263.20 zł

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.

Informacje o książce

Pełna nazwa Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Język Angielski
Oprawa Książka - Twarda
Data wydania 2015
Liczba stron 300
EAN 9781466683150
ISBN 9781466683150
Kod Libristo 03180012
Wydawnictwo Idea Group,U.S.
Waga 787
Wymiary 152 x 229 x 21

Kategoria

Matematyka i nauki ścisłe > Matematyka > Probabilistyka i statystyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo