Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Formalized Probability Theory and Applications Using Theorem Proving

Name: Formalized Probability Theory and Applications Using Theorem Proving
Brand: Idea Group,U.S.
SKU: 03180012
Price: 216.66 EUR
Availability: InStock

SofiYne Tahar

Jazyk

Angličtina

Kniha Pevná

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

Libristo kód: 03180012

545 b

216.66 €

Skladom u dodávateľa Odosielame za 15-20 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Chránit vše živé Róši Philip Kapleau

/ Kniha

5.22 €

Pirátsky batoh plný dobrodružstiev neuvedený autor

/ Brožovaná

5.73 €

Energy from Water Nancy Dickman

/ Brožovaná

11.06 €

Andy the Acrobat Peter T. Harkness

/ Pevná

47.79 €

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey

/ Brožovaná

323.84 €

Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly

/ Brožovaná

21.73 €

Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana

/ Brožovaná

55.64 €

Rural Energy Development in China Robert P. Taylor

/ Pevná

139.37 €

Life Changes Grace Milline

/ Brožovaná

17.60 €

Place of Science in a World of Values and Facts Loucas G. Christophorou

/ Brožovaná

61.28 €

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.

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

Doručenie

Nákupný poradca