Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formalized Probability Theory and Applications Using Theorem Proving

Limba englezăengleză
Carte Copertă tare
Carte Formalized Probability Theory and Applications Using Theorem Proving SofiYne Tahar
Codul Libristo: 03180012
Editura Idea Group,U.S., martie 2015
Discusses some of the limitations inherent in computer systems when applied to problems of probabili... Descrierea completă
? points 491 b
1 063.42 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Tatíčku, vrať se k nám! 3 Jiří Bureš / Carte Carte broșată
common.buy 110.60 lei
Penny Pepper - Chaos in der Schule Ulrike Rylance / Carte Carte broșată
common.buy 65.38 lei
Práce na sobě Diagnostika karmy 6 S.N. Lazarev / Carte Carte broșată
common.buy 87.84 lei
Populophobie - Pourquoi il faut remplacer la classe dirigeante française Guillaume Bigot / Carte Carte broșată
common.buy 138.16 lei
Le Layon, Le Role Economique de Sa Canalisation Sous Le Nom de Canal de Monsieur Alfred Bouchard / Carte Carte broșată
common.buy 80.15 lei
Heiter bis wolkig wetterwendische Geschichten fur alle Tage Peter Marquardt / Carte Carte broșată
common.buy 55.40 lei
ANNA KARENINA LEON TOLSTOI / Carte Carte broșată
common.buy 66.21 lei
Wiersze dla dzieci Julian Tuwim / Audio Audio CD
common.buy 37.00 lei
Theatre Complet de M. Eugene Scribe. Tome 10 Eugene Scribe / Carte Carte broșată
common.buy 192.63 lei
Russian Grammar L. Babalova / Carte Carte broșată
common.buy 164.15 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formalized Probability Theory and Applications Using Theorem Proving
Autor SofiYne Tahar
Limba engleză
Legare Carte - Copertă tare
Data publicării 2015
Număr pagini 300
EAN 9781466683150
ISBN 9781466683150
Codul Libristo 03180012
Editura Idea Group,U.S.
Greutatea 787
Dimensiuni 152 x 229 x 21

Categorii

Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics J.P. Dempsey / Carte Carte broșată
common.buy 1 702.99 lei
Shamanism and Spirituality in Therapeutic Practice Christa Mackinnon / Carte Carte broșată
common.buy 265.82 lei
Stand Up for Sportsmanship Frank Murphy / Carte Copertă tare
common.buy 159.99 lei
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 / Carte Copertă tare
common.buy 189.41 lei
Kautilya's Arthashastra Kautilya's Arthashastra / Carte Carte broșată
common.buy 150.84 lei
Treatise on Levelling, Topography and Higher Surveying WILLIAM M GILLESPIE / Carte Carte broșată
common.buy 94.39 lei
Barriers to Global Stock Listing Among African Companies Dr Emmanuel Asoluka Ihejirika / Carte Carte broșată
common.buy 137.64 lei
Spanish American Poetry after 1950 Donald L. Shaw / Carte Copertă tare
common.buy 718.78 lei
Antinomies of Modernity Vasant Kaiwar / Carte Copertă tare
common.buy 721.17 lei
Complicities Mark Sanders / Carte Copertă tare
common.buy 689.78 lei
Avaliacao dos documentos de licenciamento do uso de fontes radioativas C Gorender Ana / Carte Carte broșată
common.buy 246.80 lei
Life Changes Grace Milline / Carte Carte broșată
common.buy 90.75 lei
Energy from Water Nancy Dickman / Carte Carte broșată
common.buy 53.42 lei
Rural Energy Development in China Robert P. Taylor / Carte Copertă tare
common.buy 803.20 lei
Sage 50 Accounts For Dummies 4th UK Edition Jane E. Kelly / Carte Carte broșată
common.buy 112.37 lei
Top
Aerodynamics Theodore von Karman / Carte Carte broșată
common.buy 75.57 lei
Andy the Acrobat Peter T. Harkness / Carte Copertă tare
common.buy 114.04 lei
This Simian World Clarence Day / Carte Carte broșată
common.buy 45.21 lei
Place of Science in a World of Values and Facts Loucas G. Christophorou / Carte Carte broșată
common.buy 285.16 lei
Top
How Food Really Works Smil / Carte Carte broșată
common.buy 85.24 lei
HowExpert Guide to Currency Collecting HowExpert / Carte Carte broșată
common.buy 137.64 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?