Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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 467 b
826.32 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Tatíčku, vrať se k nám! 3 Jiří Bureš / Książka Miękka
common.buy 90.49 zł
Wiersze dla dzieci Julian Tuwim / Audio CD Audio
common.buy 25.66 zł
ANNA KARENINA LEON TOLSTOI / Książka Miękka
common.buy 54.57 zł
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Książka Miękka
common.buy 150.65 zł
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Książka Miękka
common.buy 42.80 zł
Zapowiedź
Penny Pepper - Chaos in der Schule Ulrike Rylance / Książka Miękka
common.buy 50.61 zł
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Książka Miękka
common.buy 113.52 zł
TOP
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Książka Miękka
common.buy 67.66 zł
Russian Grammar L. Babalova / Książka Miękka
common.buy 134.21 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Książka Miękka
common.buy 1 321.40 zł
Spanish American Poetry after 1950 Donald L. Shaw / Książka Twarda
common.buy 563.96 zł
HowExpert Guide to Currency Collecting HowExpert / Książka Miękka
common.buy 107.53 zł
TOP
How Food Really Works Smil / Książka Miękka
common.buy 65.32 zł
Stand Up for Sportsmanship Frank Murphy / Książka Twarda
common.buy 123.96 zł
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 / Książka Twarda
common.buy 147.70 zł
Kautilya's Arthashastra Kautilya's Arthashastra / Książka Miękka
common.buy 117.37 zł
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Książka Miękka
common.buy 72.93 zł
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Książka Miękka
common.buy 107.53 zł
Antinomies of Modernity Vasant Kaiwar / Książka Twarda
common.buy 564.37 zł
Complicities Mark Sanders / Książka Twarda
common.buy 539.71 zł
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Książka Miękka
common.buy 190.72 zł
Place of Science in a World of Values and Facts Loucas G. Christophorou / Książka Miękka
common.buy 221.36 zł
This Simian World Clarence Day / Książka Miękka
common.buy 35.09 zł
Andy the Acrobat Peter T. Harkness / Książka Twarda
common.buy 88.15 zł
Aerodynamics Theodore von Karman / Książka Miękka
common.buy 58.12 zł
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Książka Miękka
common.buy 86.63 zł
Rural Energy Development in China Robert P. Taylor / Książka Twarda
common.buy 629.20 zł
Energy from Water Nancy Dickman / Książka Miękka
common.buy 41.38 zł
Life Changes Grace Milline / Książka Miękka
common.buy 70.80 zł
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Książka Miękka
common.buy 220.24 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?