Vinkkaa tuotetta kavereillesi:
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Hinta
₩ 348.480
Tilattu etävarastosta
Arvioitu toimitus ke - pe 19. - 28. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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.
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | tiistai 31. maaliskuuta 2015 |
| ISBN13 | 9781466683150 |
| Tuottaja | Information Science Reference |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Sivujen määrä | 312 |
| Mitta | 178 × 254 × 19 mm · 757 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita Osman Hasan
Katso kaikki joka sisältää Osman Hasan ( Esim. Hardcover Book Ja Paperback Book )