|
|
|
|
Software for Dependable Systems: Sufficient Evidence?Critical systems are often subject to certiication: a formal assurance that the system has met relevant technical standards designed to ensure it will not unduly endanger the public and can be depended upon to deliver its intended service safely and securely. Today, certiication1 of the dependability of a software-based system usually relies more... | | | | Mac OS X for Java GeeksMac OS X for Java Geeks delivers a complete and detailed look at the Mac OS X platform, geared specifically at Java developers. Programmers using the 10.2 (Jaguar) release of Mac OS X, and the new JDK 1.4, have unprecedented new functionality available to them. Whether you are a Java newbie, working your way through... |
|
Cloud and Precipitation Microphysics: Principles and ParameterizationsThis book focuses specifically on bin and bulk parameterizations for the prediction of cloud and precipitation at various scales - the cloud scale, mesoscale, synoptic scale, and the global climate scale. It provides a background to the fundamental principles of parameterization physics, including processes involved in the production of clouds, ice... | | | | |
|
|
|
|
Result Page: 91 90 89 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 |