Pastāsti draugiem par šo preci:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Cena
€ 216,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 22. jūl. - . gada 5. aug.
Saņemiet paziņojumus par jauniem Osman Hasan izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Marc Notes: Includes bibliographical references and index.; This book 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--; Provided by publisher.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2015. gada 31. marts |
| ISBN13 | 9781466683150 |
| Izdevēji | Information Science Reference |
| Žanrs | Aspects (Academic) > Science / Technology Aspects |
| Lapas | 312 |
| Izmēri | 178 × 254 × 19 mm · 757 g |
| Valoda | Angļu |
