206 88 29MB
English Pages 532 Year 2017
Report DMCA / Copyright
DOWNLOAD EPUB FILE
This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verif
164 36 4MB Read more
"The author provides a substantial, up-to-date overview of the verification and validation process…" (Computer
333 34 3MB Read more
425 107 1MB 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
339 117 1MB Read more
The President tribunal results between President Ahmed Tinubu and Akitu, Peter Obi and Others
111 44 22MB Read more
380 90 72KB Read more
This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling th
372 32 2MB Read more
This handbook of formal analysis in cryptography is very important for secure communication and processing of informatio
131 31 12MB Read more
332 102 9MB Read more
Finite Element Analysis An updated and comprehensive review of the theoretical foundation of the finite element method
437 27 9MB Read more