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

Many Psychologists regard personality and mental illness as closely related. The shadow of Freudian analysis looms over modern psychopathology, driving many psychologists to try to understand their clients' personal troubles and personalities using constructs developed to study mental illness. They believe that dark, unconscious mental...

Finally—the ultimate diet for fast, safe weight loss, lifelong health, and longer life, based on more than twenty years of research and the latest findings on appetite and weight. Metabolic specialist Ron Rosedale, M.D., has designed the Rosedale Diet to regulate the powerful hormone leptin, which controls appetite and weight loss by...

Discover what you can do with R! Introducing the R system, covering standard regression methods, then tackling more advanced topics, this book guides users through the practical, powerful tools that the R system provides. The emphasis is on hands-on analysis, graphical display, and interpretation of data. The many worked examples, from...

Now in its second edition, this best-selling book by Tom Kyte of Ask Tom fame continues to bring you some of the best thinking on how to apply Oracle Database to produce scalable applications that perform well and deliver correct results. Tom has a simple philosophy: you can treat Oracle as a black box and just stick data into...

This book is a guide to the features of Microsoft Excel, one of the key products of the Microsoft Office suite. Step-by-step instructions and visual aides help the reader easily learn the software. PICTURE YOURSELF LEARNING MICROSOFT EXCEL 2010 teaches the latest version of Microsoft Excel by following along in a four-color, highly visual...

Now in the 4th edition, Cracking the Coding Interview gives you the interview preparation you need to get the top software developer jobs. This book provides:

* 150 Programming Interview Questions and Solutions: From binary trees to binary search, this list of 150 questions includes the most common and most useful questions...

I have attempted to 'write this book in such a way that it can be read not only by professional mathematicians, physicists, engineers, and chemists, but also by \yell-trained graduate students in those and closely allied fields. Even the research worker in special functions may notice, however, some results or techniques with which he is...

Need to solve problems quickly to develop creative projects to time and to budget? Want to hone your Flash skills so you can concentrate on your animation? Then How to Cheat in Flash is for you! Chris Georgenes shows how to work from the problem to the solution - from the viewpoint of an animator who has been commissioned to create a job and...

Progressive enhancement is an approach to web development that aims to deliver the best possible experience to the widest possible audience, and simplifies coding and testing as well. Whether users are viewing your sites on an iPhone, the latest and greatest high-end system, or even hearing them on a screen-reader, their experience should be...

The Internet's remarkable growth has been fueled by innovation. New applications continually enable new ways of using the Internet, and new physical networking technologies increase the range of networks over which the Internet can run. Questions about the relationship between innovation and the Internet's architecture have shaped the...