Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formalized Probability Theory and Applications Using Theorem Proving

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Libristo kód: 03180012
Nakladatelství Idea Group,U.S., březen 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Celý popis
? points 467 b
4 666 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Tatíčku, vrať se k nám! 3 Jiří Bureš / Kniha Brožovaná
common.buy 493 Kč
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 170 Kč
ANNA KARENINA LEON TOLSTOI / Kniha Brožovaná
common.buy 307 Kč
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Kniha Brožovaná
common.buy 812 Kč
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Kniha Brožovaná
common.buy 228 Kč
Připravujeme
Penny Pepper - Chaos in der Schule Ulrike Rylance / Kniha Brožovaná
common.buy 269 Kč
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Kniha Brožovaná
common.buy 641 Kč
Top
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Kniha Brožovaná
common.buy 321 Kč
Russian Grammar L. Babalova / Kniha Brožovaná
common.buy 758 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2015
Počet stran 300
EAN 9781466683150
ISBN 9781466683150
Libristo kód 03180012
Nakladatelství Idea Group,U.S.
Váha 787
Rozměry 152 x 229 x 21

Kategorie

Matematika a věda > Matematika > Pravděpodobnost a statistika
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Kniha Brožovaná
common.buy 7 057 Kč
Spanish American Poetry after 1950 Donald L. Shaw / Kniha Pevná
common.buy 3 050 Kč
HowExpert Guide to Currency Collecting / Kniha Brožovaná
common.buy 577 Kč
Top
How Food Really Works Smil / Kniha Brožovaná
common.buy 344 Kč
Stand Up for Sportsmanship Frank Murphy / Kniha Pevná
common.buy 661 Kč
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 / Kniha Pevná
common.buy 794 Kč
Kautilya's Arthashastra Kautilya's Arthashastra / Kniha Brožovaná
common.buy 630 Kč
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Kniha Brožovaná
common.buy 388 Kč
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Kniha Brožovaná
common.buy 577 Kč
Antinomies of Modernity Vasant Kaiwar / Kniha Pevná
common.buy 3 042 Kč
Complicities Mark Sanders / Kniha Pevná
common.buy 2 909 Kč
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Kniha Brožovaná
common.buy 1 014 Kč
Place of Science in a World of Values and Facts Loucas G. Christophorou / Kniha Brožovaná
common.buy 1 182 Kč
This Simian World Clarence Day / Kniha Brožovaná
common.buy 186 Kč
Andy the Acrobat Peter T. Harkness / Kniha Pevná
common.buy 469 Kč
Aerodynamics Theodore von Karman / Kniha Brožovaná
common.buy 287 Kč
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Kniha Brožovaná
common.buy 458 Kč
Rural Energy Development in China Robert P. Taylor / Kniha Pevná
common.buy 3 396 Kč
Energy from Water Nancy Dickman / Kniha Brožovaná
common.buy 221 Kč
Life Changes Grace Milline / Kniha Brožovaná
common.buy 380 Kč
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Kniha Brožovaná
common.buy 1 244 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet