The Origin and Evolution of the Solar System begins by describing historical, i.e. pre-1950, theories and illustrating why they became unacceptable. The main part then critically examines five extant theories, including the current paradigm, the Solar Nebula Theory, to determine how well they fit with accepted scientific principles and...

Navigate the economy with this insightful new book The world is awash with economic information. Governments release reports. Pundits give their interpretation on television. And the stock market may go its own way, confusing everyone. How can you better understand what it means for you? Big Picture Economics , a new book by award-winning...

Mechanical engineering is a broad and complex field within the world of engineering and has close relations to many other fields. It is an important economic factor for all industrialized countries and the global market allows for wide international competition for products and processes in this field. To stay up to date with...

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Peter Seibel interviews 15 of the most interesting computer programmers alive today in Coders at Work, offering a brand-new companion volume to Apress’s highly acclaimed best-seller Founders at Work by Jessica Livingston. As the words “at work” suggest, Peter Seibel focuses on how his...

I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars,...

This book marks the culmination of the...