 |
|
|
|
 | | Static Analysis of Software: The Abstract Interpretation (ISTE)
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,... | | Persuasion and Influence For Dummies
Many people want to gain trust or support in business and throughout life, but the true skill is doing so in a charming fashion! Whether you're convincing the boss about your much-deserved promotion or a busy restaurateur to offer a better table, the power of persuasion can help improve and increase your successes.
Elizabeth... |
|
Onshore and Offshore Wind Energy: An Introduction
A highly accessible and authoritative account of wind energy’s scientific background, current technology, and international status, with an emphasis on large turbines and wind farms, both onshore and offshore
Topics covered include:
-
a brief history of wind energy
-
the...
| | | | Understanding Microelectronics: A Top-Down Approach
The microelectronics evolution has given rise to many modern benefits but has also changed design methods and attitudes to learning. Technology advancements shifted focus from simple circuits to complex systems with major attention to high-level descriptions. The design methods moved from a bottom-up to a top-down approach.
For... |
|
| Result Page: Previous 181 182 183 184 185 186 187 188 189 190 191 192 193 Next |
