Planetary Science is an exciting, fast-moving, interdisciplinary field with courses taught in a wide range of departments, including astronomy, physics, chemistry, earth sciences and biology. Planets and Planetary Systems is a well-written, concise introductory textbook on the science of planets within our own and other solar...

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...

started in March 2003) between Francesco Pulvirenti and me. Besides its obvious technical aim, this collaboration has produced eighteen theses for second-level laurea degree in electronic engineering and fifteen theses for first level laurea degree in...

In Pro JavaFX 2: A Definitive Guide to Rich Clients with Java Technology, Jim Weaver, Weiqi Gao, Stephen Chin, Dean Iverson, and Johan Vos show you how you can use the JavaFX platform to create rich-client Java applications. You'll see how JavaFX provides a powerful Java-based UI platform capable...

The first comprehensive resource on the chemistry of vanadium, Vanadium: Chemistry, Biochemistry, Pharmacology, and Practical Applications has evolved from over a quarter century of research that concentrated on delineating the aqueous coordination reactions that characterize the vanadium(V) oxidation state. The authors distill...

Many books already exist on the topics of digital control and estimation. The prospective reader of this book might well then ask. "why another book in this area?"

One problem with the existing literature is that it emphasizes the differences between discrete and continuous theory. This dichotomy is largely...