If you want to get into developing web sites, the most important thing you'll need is a solid understanding of Hypertext Markup Language, or HTML—the most common language used to write web site content. The most recent version of the language is HTML5, and it contains a whole host of new features to give you more power...

This book is intended to provide a gateway into the study of modern feminism, to give an overview of resources on the subject, and to present the modern feminist vision of women’s issues and status. I have focused on what has come to be known as the “second wave” of feminism and on today’s...

In the forty years since I started working in the field, and indeed for some years before that (almost since Calvin Mooers coined the term information storage and retrieval in the 1950s), there have been a significant number of books on information retrieval. Even if we ignore the more specialist research monographs and the...

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