This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the [...]

Proven and effective, cognitive-behavior therapy is the most widely taught psychotherapeutic technique. General Principles and Empirically Supported Techniques of Cognitive Behavior Therapy provides students with a complete introduction to CBT. It includes over 60 chapters on individual therapies fo[...]

The Only Three Questions That Count is the first book to show you how to think about investing for yourself and develop innovative ways to understand and profit from the markets. The only way to consistently beat the markets is by knowing something others don't know. This book will show you how to [...]

An indispensable guide that shows companies how to treat data as a strategic asset Organizations set their business strategy and direction based on information that is available to executives. The Data Asset provides guidance for not only building the business case for data quality and data gover[...]