The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching...

...

When Apple introduced the iPod in 2001, CEO Steve Jobs declared, "listening to music will never be the same again." He was right on the money. The iPod grabbed attention right away, and by the end of 2005, more than 41 million of them had sold. iPod is the dominant digital music player on the market, and for the first...

Spectroscopic methods have opened up a new horizon in our knowledge of solid-state materials. Numerous techniques using electromagnetic radiation or charged and neutral particles have been invented and worked out to a high level in order to provide more detailed information on the solids. The text presented here is an updated description of such...

This book presents a unified approach to a rich and rapidly evolving research domain at the interface between statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. It is accessible to graduate students and researchers without a specific training in any of these fields. The selected topics...

The book pet photographers have been waiting for: a comprehensive guide to professional modern pet photography

Everyone who has ever trained their camera on a domestic animal knows how challenging it can be to get great shots of them. These unpredictable 'beautiful beasties' won't hold poses, smile and say...

Successful cancer chemotherapy relies heavily on the application of various deoxynucleoside analogs. Since the very beginning of modern cancer chemotherapy, a number of antimetabolites have been introduced into the clinic and subsequently applied widely for the treatment of many malignancies, both solid tumors and hematological disorders. In...