In this second edition of Future Spacecraft Propulsion Systems, the authors demonstrate the need to break free from the old established concepts of expendable rockets, using chemical propulsion, and to develop new breeds of launch vehicle capable of both launching payloads into orbit at a dramatically reduced cost and for sustained operations in...

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern...

Exam 70-236 has been updated to include the latest release of Exchange Server 2007: Service Pack 1 (SP1). This new edition is written by an Exchange MVP, author, trainer, and consultant who arms you with the most up-to-date...

Shape interrogation is the process of extraction of information from a geometric model. It is a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. The authors focus on shape interrogation of geometric models bounded by free-form surfaces. Free-form surfaces, also called sculptured surfaces, are widely used in the...

The third edition of this book will reach across disciplines and address the needs of not only those who study, evaluate, and purchase health information, but also computer and library/information scientists, information technology developers building databases, search engines, Web sites, and other systems for universities and hospitals who...

Complex Automated Negotiations have been widely studied and are becoming an important, emerging area in the field of Autonomous Agents and Multi-Agent Systems. In general, automated negotiations can be complex, since there are a lot of factors that characterize such negotiations. These factors include the number of issues, dependency between...