Books about Checking from Amazon.com

.
Price: $2.43 [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: $63.96 [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.46 [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: $40.00 [Notify me when price goes down.]

PRMIER Electric Paper Drill. Sold as 1 EA.
Price: $4.72 [Notify me when price goes down.]

Most 9th grade math, or "Algebra 1," textbooks are structured in such a way that students find it extremely difficult to apply pertinent mathematical concepts and skills to the solving of word problems. This book soothes math students’ fears with numerous solved practice problems, step-by-step problem-solving procedures, and crystal-clear explanations of important mathematical concepts. Designed to be used independently or in conjunction with standard textbooks.

.
Price: $2.99 [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: $50.39 [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.]