This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...

A top sports psychologist reveals the nine keys to winning, in sports or business Success in business is often based on the quality of the teams within the business. Even personal success is often based on a person's ability to work well with others. In Why Teams Win, top sports psychologist Saul Miller reveals the nine key factors that...

The new edition of 50 Challenging Spinal Pain Syndrome Cases brings together a total of 100 individual studies ranging from the common and comparatively straightforward to the more complex. Content is presented in a clear layout with details of case history, aetiology, physical examination, imaging and, when necessary, laboratory test results...

Security is one of the leading concerns in developing dependable distributed systems of today, since the integration of different components in a distributed manner creates new security problems and issues. Service oriented architectures, the...