wyszukanych pozycji: 2
Formalized Probability Theory and Applications Using Theorem Proving
ISBN: 9781466683150 / Angielski / Twarda / 2015 / 312 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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.
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to th...
|
|
cena:
1130,12 zł |
Watermarking Techniques for Intellectual Property Protection in SOC
ISBN: 9783843390682 / Angielski / Miękka / 2012 / 128 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
267,62 zł |