Without...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to...

In the Autumn of 1983, in the face of the phenomenal growth of home computer sales in the U.K., the national British newspaper The Guardian decided to produce, each week, a 'Computer Page'. Noone was quite sure exactly what should go into the page on a regular basis, but it was thought that a fortnightly column on computer mathematics...

Already climbing the bestseller lists-and garnering rave reviews-this "little masterpiece"* sheds brilliant light on the equation that changed the world.

"This is not a physics book. It is a history of where the equation [E=mc2] came from and how it has changed the world. After a short chapter on the...

The idea of the hook was born during the time when the second generation cellular system was looming on the horizon. At that time, the world was divided into three dislincl camps as far as looking for a standard: Europe. North America and japan. It was obvious at the outset that Europe was in favour of a Pan-European Second Generation...

If you can write WordPress plug-ins, you can make WordPress do just about anything. From making the site easier to administer, to adding the odd tweak or new feature, to completely changing the way your blog works, plug-ins are the method WordPress offers to customize and extend its functionality. This book will show you how to build all...

In October 2000, the US National Institute of Standards and Technology selected the block cipher Rijndael as the Advanced Encryption Standard (AES). AES is expected to gradually replace the present Data Encryption Standard (DES) as the most widely applied data encryption technology.|This book by the designers of the block cipher presents...

If you're a PC owner, you have a pretty good idea of just how much there is to discover about your PC, whether you use it for work or play. Comprised of eight minibooks, this All-in-One guide covers essential PC topics from soup through nuts, including...

The arrival of this book and its message, I suspect, could not have been better timed. We’re more than two years into this great recession, and many of us are more confused than ever about our personal finances. With the financial and employment landscapes evolving before us, it’s difficult to return to the old, prescriptive...