Books about Checking from Amazon.com

A practical guide to grammar and usage, covering such topics as parts of speech, punctuation, capitalization, spelling, and idioms..
Price: $3.39 [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 is 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).

.
Price: $67.17 [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.37 [Notify me when price goes down.]

Many software developers often confuse requirements engineering with software specification and, as a result, build unusable systems, despite meeting specifications. Bringing together all the techniques needed by the modern software developer, here is a practical handbook to requirements engineering and systems specification for developers building systems within a service oriented architecture. It introduces the concepts of SOA and relevant standards and technology, such as Web services and ESBs, and then presents a range of modern requirements engineering techniques..
Price: $40.34 [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: $39.95 [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: $9.04 [Notify me when price goes down.]

In today’s competitive markets, manufacturers strive to continually improve manufacturing performance to meet their business needs and goals. As process control loops have a major impact on a plant’s financial performance, focusing on loop performance is critical. This technician’s guide defines loop checking in the broader scope of control loop performance in addition to the more traditional terms of the plant start-up. It discusses general methods and practices that can be applied across many processes/industries. Featured topics include: loop checking basics, factory acceptance testing, wiring and loop checks, performance benchmarking, and sustaining performance..
Price: $79.00 [Notify me when price goes down.]

"Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades." -- R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories

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 1999 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: $44.95 [Notify me when price goes down.]