Model Checking

An experienced preacher and professor offers a compelling conceptual model of biblical preaching that helps preachers understand better what they are doing when the step into the pulpit.

This report describes the development of the Resilience Dividend Valuation Model, a complementary framework designed to help communities estimate the resilience dividend from resilience projects or in

Relive the Millennium Falcon’s daring rescues and escapes as it aided in the defeat of both Imperial Death Stars. Then build the ultimate model ship complete with lights and sound!Star Wars Mast

The present Model Law on Legal Aid in Criminal Justice Systems with Commentaries was developed by the United Nations Office on Drugs and Crime (UNODC).

Build and color your own 3D model of the Daily Planet globe from DC Comics’ Superman!From the dawn of the Golden Age of comic books, the Daily Planet has played an important role in the Superman legen

The Berenstain Bears are always checking out books about outer space, medieval knights, cute animals, and more at the library. But then one day, the family finds out the library may be shutting down f

This book examines the effect of the adoption of the United Nations Committee on International Trade Law (UNCITRAL) Model Law on Cross-Border Insolvency in five common law jurisdictions, namely Austra

Brad C. Phillips and Jordan E. Horowitz offer a research-based model and actionable approach for using data strategically at community colleges to increase completion rates as well as other metrics li

This book provides a critical and comprehensive explanation of the China model and its origins, examining the issues that are critical to our understanding the significance of China’s rise, and the wa

This book documents CCPS's Aerosol Research Program to develop a model to predict liquid rainout from release of a pressurized, liquefied gas--and, hence the residual amount of material in a vapor clo

Where does the wind go when it is not blowing? With The Wind Tunnel Model, artist and scientist Florian Dombois proposes new forms of interaction between art and science. Key to this project is Domboi

In A Three-Factor Model of Couples Therapy the author presents a new schema of psychodynamic couples therapy that includes a three-factor model for understanding and treating couples. These three fact

This book delves deeply into modern surrogacy arrangements, responding to both practical and ethical critiques by offering a radically new model for surrogate motherhood. Current practice distinguishe

This textbook presents a rigorous approach to multivariable calculus in the context of model building and optimization problems. This comprehensive overview is based on lectures given at five SERC Sch

Designing Experiments and Analyzing Data: A Model Comparison Perspective (3rd edition) offers an integrative conceptual framework for understanding experimental design and data analysis. Maxwell, Dela

This book proposes a combination of cognitive modeling with model-based user interface development to tackle the problem of maintaining the usability of applications that target several device types a

The traditional logical language of model theory is first-order logic. This language was proposed in the late 19th by G. Frege, and throughout the 20th century, it remained at the center of the develo

Matthias Müller makes a case for the particular role of the demand side in research on innovation. Based on a complex agent-based simulation model, he analyzes the versatile mutual relationships betwe

The Shingo Enterprise Excellence Prize Model (SEEM) has exerted global influence over the ways that exceptional organizations formulate/deploy strategy with its focus on processes, Lean thinking, cont

Build and customize your own wood model of Lumiere, Belle’s enchanted friend from Disney’s classic fairytale Beauty and the Beast. Build and color your own 3D Lumiere mode

This superbly illustrated atlas provides step-by-step descriptions of surgical procedures to the airways based on use of the sheep as an animal model, which has been demonstrated scientifically to be

This guide explains the use of the OPT (Outcome-Present State-Test) Model of clinical reasoning in nursing. The model emphasizes reflection, outcome specification, testing, and the development of

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation,

Build your own Death Star with this IncrediBuilds: Star Wars model kit, featuring a full-color book with facts and trivia on the Empire’s deadliest weapon!Build and color your own 3D Death Star model

The Five Factor Model, which measures individual differences on extraversion, agreeableness, conscientiousness, emotional stability, and openness to experience, is arguably the most prominent dimensio

This book is open access under a CC BY 4.0 license.With this graduate-level primer, the principles of the standard model of particle physics receive a particular skillful, personal and enduring exposi

The journey from strategy to operating success depends on creating an organization that can deliver the chosen strategy. This book, explaining the Operating Model Canvas, shows you how to do this. It

Learn all about the iconic Arc de Triomphe in Paris, France, with this informative and educational deluxe book and model set. One of the most recognizable buildings in the world, the Eiffel Tower has

Build and color your own 3D Arc de Triomphe with this deluxe wooden model set.One of the most recognizable buildings in the world, the Arc de Triomphe has long been a source of endless fascination. Th

The "Model Law" deals with security interests in all types of tangible and intangible movable property, such as goods, receivables, bank accounts, negotiable instruments, negotiable document

This book analyzes the role played by initial endowments and colonizer identity in seeking to explain institutional development in former colonies. It presents a model of two styles of imperialism tha

Chicks are always screaming, “Leave my man alone!" but in reality, they need to be checking their men. Tiana Caldwell is not falling for that foolery. She lives by the code that if your man want

Do you have a work culture that fosters collaboration, stimulates innovation, and empowers nurses to achieve success in exceptional ways? In Johns Hopkins Nursing Professional Practice Model: Strategi

This book guides the reader through the redesign elements for the internal operating model of an enterprise in the oil and gas sector – including integrated oil companies (IOCs), majors and independen

Build and customize a 3D model of Groot from Marvel’s Guardians of the Galaxy with this exciting new model set. In the far reaches of the MARVEL Cinematic Universe, an unlikely cast of characters incl

The description for this book, Hitler`s American Model: The United States and the Making of Nazi Race Law, will be forthcoming.

This book presents a fresh approach to poverty alleviation by bridging the fields of international development and social entrepreneurship. The authors present a six-step model for developing an IP bu

This book is written for students and scientists wanting to learn about the Standard Model of particle physics. Only an introductory course knowledge about quantum theory is needed. The text provides a pedagogical description of the theory, and incorporates the recent Higgs boson and top quark discoveries. With its clear and engaging style, this new edition retains its essential simplicity. Long and detailed calculations are replaced by simple approximate ones. It includes introductions to accelerators, colliders, and detectors, and several main experimental tests of the Standard Model are explained. Descriptions of some well-motivated extensions of the Standard Model prepare the reader for new developments. It emphasizes the concepts of gauge theories and Higgs physics, electroweak unification and symmetry breaking, and how force strengths vary with energy, providing a solid foundation for those working in the field, and for those who simply want to learn about the Standard Model.

This book presents a fresh approach to poverty alleviation by bridging the fields of international development and social entrepreneurship. The authors present a six-step model for developing an IP bu

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.