This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verif
164 53 29MB
English Pages 532 Year 2017
Report DMCA / Copyright
DOWNLOAD FILE
179 62 4MB Read more
752 101 1MB Read more
Real Analysis: A Constructive Approach Through Interval Arithmetic presents a careful treatment of calculus and its theo
1,435 108 3MB Read more
Almost every day, from TV screens and billboards, the image of an ideal figure is imposed on us (I would even say, we ar
397 103 1MB Read more
1,106 123 9MB Read more
187 64 11MB Read more
The neurodegenerative disease expert Yves Agid offers a groundbreaking and accessible account of subconsciousness and it
175 18 2MB Read more
229 51 2MB Read more
Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip
442 115 3MB Read more
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequ
888 163 4MB Read more