Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formalized Probability Theory and Applications Using Theorem Proving

Език Английски езикАнглийски език
Книга С твърди корици
Книга Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Код Либристо: 03180012
Издателство Idea Group,U.S., март 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Цялото описание
? points 516 b
212.62 €
415.85  лв
Външен склад Изпращаме след 10-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Tatíčku, vrať se k nám! 3 Jiří Bureš / Книга С меки корици
common.buy 22.28 € 43.57 лв
Wiersze dla dzieci Julian Tuwim / Аудио Аудио компактдиск
common.buy 7.32 € 14.32 лв
ANNA KARENINA LEON TOLSTOI / Книга С меки корици
common.buy 13.25 € 25.92 лв
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Книга С меки корици
common.buy 35.07 € 68.59 лв
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Книга С меки корици
common.buy 10.57 € 20.67 лв
Penny Pepper - Chaos in der Schule Ulrike Rylance / Книга С меки корици
common.buy 14.59 € 28.54 лв
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Книга С меки корици
common.buy 27.54 € 53.86 лв
Top
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Книга С меки корици
common.buy 17.69 € 34.59 лв
Russian Grammar L. Babalova / Книга С меки корици
common.buy 33.01 € 64.56 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formalized Probability Theory and Applications Using Theorem Proving
Автор SofiYne Tahar
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2015
Брой страници 300
Баркод 9781466683150
ISBN 9781466683150
Код Либристо 03180012
Издателство Idea Group,U.S.
Тегло 787
Размери 152 x 229 x 21

Категории

Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Книга С меки корици
common.buy 324.24 € 634.17 лв
Spanish American Poetry after 1950 Donald L. Shaw / Книга С твърди корици
common.buy 131.27 € 256.75 лв
HowExpert Guide to Currency Collecting / Книга С меки корици
common.buy 25.01 € 48.92 лв
Top
How Food Really Works Smil / Книга С меки корици
common.buy 16.24 € 31.77 лв
Stand Up for Sportsmanship Frank Murphy / Книга С твърди корици
common.buy 30.48 € 59.61 лв
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 / Книга С твърди корици
common.buy 34.35 € 67.18 лв
Kautilya's Arthashastra Kautilya's Arthashastra / Книга С меки корици
common.buy 27.33 € 53.46 лв
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Книга С меки корици
common.buy 17.95 € 35.10 лв
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Книга С меки корици
common.buy 25.01 € 48.92 лв
Antinomies of Modernity Vasant Kaiwar / Книга С твърди корици
common.buy 137.31 € 268.55 лв
Complicities Mark Sanders / Книга С твърди корици
common.buy 131.32 € 256.85 лв
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Книга С меки корици
common.buy 46.99 € 91.90 лв
Place of Science in a World of Values and Facts Loucas G. Christophorou / Книга С меки корици
common.buy 54.26 € 106.12 лв
This Simian World Clarence Day / Книга С меки корици
common.buy 8.61 € 16.84 лв
Andy the Acrobat Peter T. Harkness / Книга С твърди корици
common.buy 21.71 € 42.46 лв
Aerodynamics Theodore von Karman / Книга С меки корици
common.buy 13.51 € 26.42 лв
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Книга С меки корици
common.buy 20.16 € 39.44 лв
Rural Energy Development in China Robert P. Taylor / Книга С твърди корици
common.buy 146.44 € 286.41 лв
Energy from Water Nancy Dickman / Книга С меки корици
common.buy 10.16 € 19.86 лв
Life Changes Grace Milline / Книга С меки корици
common.buy 16.50 € 32.27 лв
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Книга С меки корици
common.buy 51.27 € 100.27 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?