Books about Checking from Amazon.com

.
Price: $3.37 [Notify me when price goes down.]

As with the previous edition, The Child Psychotherapy Progress Notes Planner, Third Edition helps mental health practitioners reduce the amount of time spent on paperwork by providing a full menu of pre-written progress notes that can be easily and quickly adapted to fit a particular patient need or treatment situation..
Price: $42.73 [Notify me when price goes down.]

This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes.

Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimating, checking, and interpreting each of these models. They also show that these regression methods deal with confounding, mediation, and interaction of causal effects in essentially the same way.

The examples, analyzed using Stata, are drawn from the biomedical context but generalize to other areas of application. While a first course in statistics is assumed, a chapter reviewing basic statistical methods is included. Some advanced topics are covered but the presentation remains intuitive. A brief introduction to regression analysis of complex surveys and notes for further reading are provided. For many students and researchers learning to use these methods, this one book may be all they need to conduct and interpret multipredictor regression analyses.

The authors are on the faculty in the Division of Biostatistics, Department of Epidemiology and Biostatistics, University of California, San Francisco, and are authors or co-authors of more than 200 methodological as well as applied papers in the biological and biomedical sciences. The senior author, Charles E. McCulloch, is head of the Division and author of Generalized Linear Mixed Models (2003), Generalized, Linear, and Mixed Models (2000), and Variance Components (1992).

From the reviews:

"This book provides a unified introduction to the regression methods listed in the title...The methods are well illustrated by data drawn from medical studies...A real strength of this book is the careful discussion of issues common to all of the multipredictor methods covered." Journal of Biopharmaceutical Statistics, 2005

"This book is not just for biostatisticians. It is, in fact, a very good, and relatively nonmathematical, overview of multipredictor regression models. Although the examples are biologically oriented, they are generally easy to understand and follow...I heartily recommend the book" Technometrics, February 2006

"Overall, the text provides an overview of regression methods that is particularly strong in its breadth of coverage and emphasis on insight in place of mathematical detail. As intended, this well-unified approach should appeal to students who learn conceptually and verbally." Journal of the American Statistical Association, March 2006

.
Price: $61.21 [Notify me when price goes down.]

Intuit's Quicken is one of today's most popular and convenient ways to keep track of personal finances, and Quicken 2006 For Starters: The Missing Manual for Windows is the indispensable guide to using the program to simplify your finances and make the most of your money.

Whether you're new to electronic banking or just new to Quicken, this refreshingly funny and sensible book zeroes in on exactly what you need to get into Quicken fast. It teaches you how do such essential things as: balance your checkbook on your computer, keep tabs on your spending, create and manage a budget, monitor and pay bills on time, determine more ways to save and stick to your savings plan, manage loans and maximize investments, make tax preparation easier (even find hidden tax deductions!), and much more.

Financial-software writer and personal finance expert Bonnie Biafore delivers clear explanations and step-by-step instructions for the Quicken features you need, as well as relevant advice and plenty of real-world examples. Beginners will appreciate Biafore's clear guidance on how to set up Quicken to streamline their money management tasks. Power users will benefit from her insightful tips, tricks, and shortcuts for working around Quicken's idiosyncrasies and saving even more time and money.

The book is designed to help you get up to speed fast. Biafore steps you through the basics of Quicken. Then, as you become a more efficient and sophisticated Quicken user, she helps you take advantage of the program's little-known but powerful features. And throughout the book, she offers invaluable money-management principles. You'll be generating useful reports and graphs with ease; ensuring accuracy and consistency among all your accounts; and planning, saving, and controlling your finances like never before.

The book that gives you exactly what you need, Quicken 2006 For Starters: The Missing Manual helps you quickly make the most of Quicken 2006 for Windows.

.
Price: $7.24 [Notify me when price goes down.]

As my friend the heroin addict says, "You're only as sick as your secrets "

Emily Colas -- young, intelligent, well-educated wife and mother of two -- had a secret that was getting in the way of certain activities. Like touching people. Having a normal relationship with her husband. Socializing. Getting a job. Eating out. Like leaving the house. Soon there was no interval in her life when she was not

just checking

This raw, darkly comic series of astonishing vignettes is Emily Colas' achingly honest chronicle of her twisted journey through the obsessive-compulsive disorder that came to dominate her world. In the beginning it was germs and food. By the time she faced the fact that she was really "losing it," Colas had become a slave to her own "hobbies" -- from the daily hair cutting to incessant inspections of her children's clothing for bloodstains.

A shocking, hilarious, enormously appealing account of a young woman struggling to gain control of her life, this is Emily Colas' exposé of a soul tormented, but balanced by a buoyance of spirit and a piercing sense of humor that may be her saving grace..
Price: $3.48 [Notify me when price goes down.]

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, or request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature..
Price: $57.00 [Notify me when price goes down.]

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers.

The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.

This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers..
Price: $42.82 [Notify me when price goes down.]

Stop worrying about:
·Risk and danger
·Being irresponsible or careless
·Causing accidents and making mistakes
·Unintentionally harming or offending someone
·Being criticized.

Imagine being unable to leave the house without first checking the stove, the faucets, the lock on the door ten, fifteen, twenty times. Even performing the simplest daily routines can be a source of considerable fear and anxiety for someone suffering from one of the most often seen forms of obsessive-complusive disorder, checking.people with compulsive checking engage in these kinds of behaviors to avoid some perceived danger, the looming consequence they fear if they don't check and recheck and check again the objects of their obsession. Even though compulsive checking can be devastating, research suggests that behavior therapy can enable 75 percent of checkers to significantly reduce or eliminate their symptoms.

While many books offer strategies for treating the whole spectrum of obsessive-compulsive symptoms, this is the first book to apply the proven-effective techniques of cognitive behavioral therapy specifically to overcome checking. Its engaging exercises teach you how to face, embrace, and erase your fears. And when the fears are eliminated there is no further need for compulsions. Chapters further help you to troubleshoot particularly difficult situations and educate family members and loved ones..
Price: $8.88 [Notify me when price goes down.]

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006.

Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.

.
Price: $39.95 [Notify me when price goes down.]