Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Idea Group,U.S., marec 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Celý popis
? points 491 b
202.72 €
Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Tatíčku, vrať se k nám! 3 Jiří Bureš / Kniha Brožovaná
common.buy 20.29 €
Penny Pepper - Chaos in der Schule Ulrike Rylance / Kniha Brožovaná
common.buy 11.81 €
Top
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Kniha Brožovaná
common.buy 15.04 €
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Kniha Brožovaná
common.buy 26.35 €
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Kniha Brožovaná
common.buy 13.83 €
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Kniha Brožovaná
common.buy 9.99 €
ANNA KARENINA LEON TOLSTOI / Kniha Brožovaná
common.buy 12.62 €
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 7.06 €
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Kniha Brožovaná
common.buy 33.53 €
Russian Grammar L. Babalova / Kniha Brožovaná
common.buy 31.30 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2015
Počet strán 300
EAN 9781466683150
ISBN 9781466683150
Libristo kód 03180012
Nakladateľstvo Idea Group,U.S.
Váha 787
Rozmery 152 x 229 x 21

Kategórie

Matematika a veda > Matematika > Pravdepodobnosť a štatistika
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Kniha Brožovaná
common.buy 307.97 €
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Kniha Brožovaná
common.buy 51.30 €
Stand Up for Sportsmanship Frank Murphy / Kniha Pevná
common.buy 28.88 €
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 32.72 €
Kautilya's Arthashastra Kautilya's Arthashastra / Kniha Brožovaná
common.buy 25.95 €
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Kniha Brožovaná
common.buy 16.96 €
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Kniha Brožovaná
common.buy 23.83 €
Spanish American Poetry after 1950 Donald L. Shaw / Kniha Pevná
common.buy 125.85 €
Antinomies of Modernity Vasant Kaiwar / Kniha Pevná
common.buy 131.51 €
Complicities Mark Sanders / Kniha Pevná
common.buy 125.75 €
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Kniha Brožovaná
common.buy 44.43 €
Life Changes Grace Milline / Kniha Brožovaná
common.buy 15.65 €
Energy from Water Nancy Dickman / Kniha Brožovaná
common.buy 9.69 €
Rural Energy Development in China Robert P. Taylor / Kniha Pevná
common.buy 140.19 €
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Kniha Brožovaná
common.buy 18.88 €
Top
Aerodynamics Theodore von Karman / Kniha Brožovaná
common.buy 12.72 €
Andy the Acrobat Peter T. Harkness / Kniha Pevná
common.buy 20.50 €
This Simian World Clarence Day / Kniha Brožovaná
common.buy 8.17 €
Place of Science in a World of Values and Facts Loucas G. Christophorou / Kniha Brožovaná
common.buy 51.61 €
Top
How Food Really Works Smil / Kniha Brožovaná
common.buy 14.13 €
HowExpert Guide to Currency Collecting HowExpert / Kniha Brožovaná
common.buy 23.83 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?