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 (Dostawa przed świętami) 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:
1132,85 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:
271,34 zł |