Intended to bridge the gap between the standard calculus sequence and more abstract upper-division mathematics courses, this successful text provides a firm foundation in sets, logic, and mathematical proof methods. The Second Edition includes a smoother transition from the concepts of logic to actual use of these concepts in proving theorems; additional applications; several essays about prominent mathematicians and their work; and the addition of exercises for student writing.

Describing how the Assembly language can be used to develop highly effective C++ applications, this guide covers the development of 32-bit applications for Windows. Areas of focus include optimizing high-level logical structures, creating effective mathematical algorithms, and working with strings and arrays. Code optimization is considered for...

No book like this could have been written without the generous assistance of the staffs of Lyndon B. Johnson Presidential Library, the Jimmy Carter Presidential Library, the Ronald Reagan Presidential Library, and the George Bush Presidential Library. Going far beyond providing normal access to internal documents, the staffs of these libraries...

Parallel computing has become a practical approach to industrial modeling. It brings formerly insoluble problems into solution range and makes formerly difficult-to-solve problems routine. The software challenges for the development of industrial-quality codes for parallel computers, however, are great. In this book, we provide in-depth case...

The problem of liquid sloshing in moving or stationary containers remains of great concern to aerospace, civil, and nuclear engineers; physicists; designers of road tankers and ship tankers; and mathematicians. Beginning with the fundamentals of liquid sloshing theory, this book takes the reader systematically from basic theory to advanced...

The text that comprises this volume is a collection of surveys and original works from experts in the fields of algebraic number theory, analytic number theory, harmonic analysis, and hyperbolic geometry. A portion of the collected contributions have been developed from lectures given at the "International Conference on the Occasion of...

The open-source NetBeans Platform is an extraordinarily powerful framework for building "write once, run anywhere" rich client applications. Now, for the first time since the release of NetBeans IDE 5.0, there's a comprehensive guide to rich client development on the NetBeans Platform.