 |
|
 Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | Arduino Projects to Save the World
Arduino Projects to Save the World shows that it takes little more than a few tools, a few wires and sensors, an Arduino board, and a bit of gumption to build devices that lower energy bills, help you grow our own food, monitor pollution in the air and in the ground, even warn you about earth tremors.
Arduino... | | Handbook of Industrial and Hazardous Wastes Treatment
Environmental managers, engineers, and scientists who have had experience with
industrial and hazardous waste management problems have noted the need for a
handbook that is comprehensive in its scope, directly applicable to daily waste
management problems of specific industries, and widely acceptable by practicing
environmental... |
|
Time Domain Electromagnetics (Academic Press Series in Engineering)
In recent times, we have seen increased interest in the direct time domain methods to calculate
electromagnetic scattering/interaction phenomenon. This may be due to the surge in activities
in the areas of EMP, short-pulse radar, or other related applications. It may also be due to the
fact that the time domain methods have several... | | Pollution Prevention through Process Integration: Systematic Design Tools
Processing facilities are complex systems of unit operations and streams. Consequently,
their environmental impact cannot be optimally mitigated by simple
end-of-pipe measures. Instead, it is crucial to gain global insights into how mass
flows throughout the process and to use these insights as a consistent basis for developing... | | |
|
| | Digital Alias-free Signal Processing
The rationale of replacing signal analog processing by digital, worth doing whenever
it is feasible, is well known. The benefits that can be obtained are usually
significant. Digital signal processing (DSP) technology is widely used in the
application range characterized by relatively low frequencies and other acceptable... | | Failure Criteria in Fibre-Reinforced-Polymer Composites
Fibre Reinforced Polymer composite materials (FRP’s) are now widely utilised in many
applications including aircraft, yachts, motor vehicles, chemical and process plant, sporting
goods and a wide range of military equipment. They are an extremely broad and versatile class
of material, encompassing a wide range of fibre and... |
|
|
| Result Page: 42 41 40 39 38 37 36 35 34 33 |
