Model Checking

An infamous cold case: two missing, presumed dead. Can Kenny Gabriel chase down the truth?Rock star Castor Greaves and his model girlfriend vanished twenty years ago after an infamous gig in Soho. Acc

The contributions in New Discourses in Medieval Canon Law Research present new research on medieval church law, and propose a new model of how to write the history of canon law in the Middle Ages.

A beautifully illustrated book, packaged with a die-cast model of the iconic 1989 Batmobile from Tim Burton's Batman, which reveals the design secrets of the vehicles featured in the Batman motion pic

A radical new business model for thriving in the face of constant competitive threat and ceaseless technological disruption--based on Accenture's major new research of over 1,000 companies across 30 i

Stormy Isles, originally published in Portuguese in 1944 and set in the Azores between 1917 and 1919, focuses on the vivacious and sharp Margarida, who, at twenty years of age, is a model of feminist

The current model of parental discipline is as outdated as a rotary phone.Why don't our kids do what we want them to do? Parents often take the blame for misbehavior, but this obscures a broader trend

In the early nineties, Scarlet, a painter and high fashion model, finds herself working in some of the world’s most famous fashion capitals. As her adventure continues, she meets Johnny of The Westies

In THE TWO VOLUMES of Prosodic Syntax in Chinese, the author develops a new model which proposes that the interaction between syntax and prosody is bi-directional and that prosody can not only constra

How Hawai‘i became an emblem of multiculturalism during its journey to statehood in the mid-twentieth centuryGateway State explores the development of Hawai‘i as a model for liberal multiculturalism a

Repeatedly, if paradoxically, the Northeast has led national developments in fire. Its intellectuals argued for model preserves in the Adirondacks and at Yellowstone, oversaw the first mapping of the

After years of isolation, China is now center stage as an economic and global power, but its rise has triggered wildly divergent views. Is it a model of business efficiency or a threat to American pro

This textbook on nonlinear optimization focuses on model building, real world problems, and applications of optimization models to natural and social sciences. Organized into two parts, this book may

The early 1970s saw the birth of the modern comic book shop. Its rise was due in large part to a dynamic entrepreneur, Phil Seuling. His direct market model allowed shops to get comics straight from t

The Sound That Makes the World Go 'Round Like most parents, our Heavenly Father delights in hearing us say "I love you," and expressing that same sentiment to us. With the Bible as its model, Daddy'

Bath, England. When his life drawing model disappears without trace, painter-sleuth Chris Honeysett uncovers evidence of a dangerous conspiracy.Henry Blinkhorn drowned when his boat capsized in the Se

Li'l Pete the Preposition When launching his model rocket in the park, Li'l Pete gets excited and forgets to add objects to his prepositional phrases. Without objects, the prepositions become adverbs,

An in-depth look at the science of compassion, the impact it has at a cellular level on our physical and emotional health, and the new medical model that is changing the way we treat the whole person.

This book presents a quantitative history of constitutional law in the United States and brings together humanistic and social-scientific approaches to studying law. Using theoretical models of adjudication, Tom S. Clark presents a statistical model of law and uses the model to document the historical development of constitutional law. Using sophisticated statistical methods and historical analysis of court decisions, the author documents how social and political forces shape the path of law. Spanning the history of constitutional law since Reconstruction, this book illustrates the way in which the law evolves with American life and argues that a social-scientific approach to the history of law illuminates connections across disparate areas of the law, connected by the social context in which the Constitution has been interpreted.

The transition from Qajar rule in Iran (c.1789–1925) to that of rule by the Pahlavi dynasty (1925–1979) set in motion a number of shifts in the political, social, and cultural realms. Focusing on masculinity in Iran, this book interweaves ideas and perceptions, laws, political movements, and men's practices to spotlight the role men as gendered subjects played in Iranian history. It shows how men under the reign of Reza Shah dressed, acted, spoke, and thought differently from their late Qajar period counterparts. Furthermore, it highlights how the notion of being a "proper Iranian man" changed over these decades. Demonstrating how an emerging elite of western-educated men constructed and promoted a new model of masculinity as part of their struggle for political, social, and cultural hegemony, Balslev shows how this new model reflects wider developments in Iranian society at the time including the rise of Iranian nationalism and the country's modernisation process.

The Right to Development offers a new idea, model, methodology and path for the implementation and protection of the right to development from the new perspective of the 2030 Agenda for Sustainable De

‘The great, urgent, passionate American writer of our century, who offers us a model of the kind of compassionate thinking that might yet save us from ourselves.’ George SaundersPrisoner of war, optom

An unprecedented study that reveals tapestry’s role as a modernist medium and a model for the movement’s discourse on both sides of the Atlantic in the decades following World War II With

Big Box Schools examines the current educational reform movement and the negative impact of the adoption of the big box business model to public education, especially on students, families, and commun

Citizen science, the active participation of the public in scientific research projects, is a rapidly expanding field in open science and open innovation. It provides an integrated model of public kno

Citizen science, the active participation of the public in scientific research projects, is a rapidly expanding field in open science and open innovation. It provides an integrated model of public kno

This book showcases the inequalities experienced between the global north and the global south by exploring the production and distribution model of goods and services worldwide through an analysis of

Gisella Perl’s memoir is an extraordinarily candid account of women’s extreme efforts to survive Auschwitz. It was the first memoir by a woman survivor and established the model for unders

Liszt's adaptation of existing music is staggering in its quantity, scope, and variety of technique. He often viewed the model work as a source that he strove to improve, rival, and even surpass. Lisz

Gisella Perl’s memoir is an extraordinarily candid account of women’s extreme efforts to survive Auschwitz. It was the first memoir by a woman survivor and established the model for unders

This book is open access under a CC BY-NC-ND license.This book reveals exciting early Christian evidence that Mary was remembered as a powerful role model for women leaders—women apostles, baptiz

Complete Guide to Sport Education, Third Edition, offers a thoroughly updated version of the evidence-based curriculum and instruction model pioneered by Daryl Siedentop, universally acknowledged as t

“Elena is one of the brightest stars in our game today and an iconic role model.” —Lisa M. Borders, WNBA President “Inspiring in many ways.” —Kirkus Reviews Elena D

The Roman statesman, orator, and author Marcus Tullius Cicero is the embodiment of a classic: his works have been read continuously from antiquity to the present, his style is considered the model for

A Jilly Cooper heroine in a John le Carre world' (Libby Purves, TLS); a beguiling comic memoir about a young woman who discovers her father is a spy (and was the model for John le Carre's George Smile

The Roman Empire has been a source of inspiration and a model for imitation for Western empires practically since the moment Rome fell. Yet, as Julia Hell shows in The Conquest of Ruins, what has had

The Roman Empire has been a source of inspiration and a model for imitation for Western empires practically since the moment Rome fell. Yet, as Julia Hell shows in The Conquest of Ruins, what has had

Explaining synchronicity and flow using an easy-to-understand scientific model, physicist Sky Nelson-Isaacs describes how you can have more synchronous events and a greater state of flow in your every

"Horst Schulze created a culture of service that should be a role model for all of us. By committing to the highest standards of professionalism - and creating the right systems to achieve them - he i

A key reading for leaders that outlines how to effectively innovate for the future and boost growth, while running the core business. - Alex Osterwalder, Co-author of Business Model Generation. Winner

Kelsey March’s sister is killed by a stalker, but the truth is not as it first appears . . .Interior designer Kelsey March's world is shattered when a stalker murders her beautiful model sister while