|
|
|
|
|
| | Software Verification and Analysis: An Integrated, Hands-On ApproachThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).
Three major software verification techniques are discussed: Semantic program synthesis and... | | Probability, Random Processes, and Ergodic PropertiesThis book has a long history. It began over two decades ago as the first half of a book on information and ergodic theory. The intent was and remains to provide a reasonably self-contained advanced (at least for engineers) treatment of measure theory, probability theory, and random processes, with an emphasis on general alphabets and on ergodic... |
|
|
| | Web Technologies: Concepts, Methodologies, Tools, and Applications - 4 VolumesWith the technological advancement of mobile devices, social networking, and electronic services, Web technologies continues to play an ever-growing part of the global way of life, incorporated into cultural, economical, and organizational levels. Web Technologies: Concepts, Methodologies, Tools, and Applications provides a comprehensive... | | Organic Electronics: Materials, Processing, Devices and ApplicationsIn the near future, organic semiconductors may be used in a variety of products, including flat-screen TVs, e-book readers, and third-generation organic photovoltaics applications, to name just a few. While organic electronics has received increased attention in scientific journals, those working in this burgeoning field require more in-depth... |
|
|
Result Page: Previous 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 Next |