Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

Why study music? How much practical use is it in the modern world? This introduction proves how studying music is of great value both in its own terms and also in the post-university marketplace. All main aspects of the subject are covered, including composition, theory, world musics and music technology.

Measurement shapes scientific theories, characterises improvements in manufacturing processes and promotes efficient commerce. In concert with measurement is uncertainty, and students in science and engineering need to identify and quantify uncertainties in the measurements they make. This book introduces measurement and uncertainty to second and third year students of science and engineering.

Its approach relies on the internationally recognised and recommended guidelines for calculating and...

In a radical reappraisal of Iran's modern history, Ervand Abrahamian traces the country's traumatic journey from the mid-nineteenth century to the present day, through the discovery of oil, imperial interventions, the rule of the Pahlavis, and the birth of the Islamic Republic. The first edition was named the Choice Outstanding Academic Title in 2009. This second edition brings the narrative up to date, with the Green uprisings of 2009, the second Ahmadinejad administration, the election of R...

This is the first textbook to focus exclusively on issues of distributive justice on the global scale. It gives clear and up-to-date accounts of the major theories of global justice and spells out their significance for a series of political issues, including climate change, international trade, human rights and migration.

Contemporary China appears both deceptively familiar and inexplicably different. China is a cauldron of forms of entrepreneurship, social organization, ways of life and governance that are at once new and unique, recognizably Chinese and generically modern. In analyzing and interpreting these developments, Frank N.

Pieke adopts a China-centric perspective to move beyond western preoccupations, desires, or fears. Each chapter starts with a key question about China, showing that such questions ...

Learn how to plan for success with this hands-on guide to conducting high-quality engineering research. Plan and implement your next project for maximum impact: step-by-step instructions cover every stage in engineering research, from the identification of an appropriate research topic through to the successful presentation of results. Improve your research outcomes: discover essential tools and methods for producing high-quality, rigorous research, including statistical analysis, survey desi...

An improved, larger-format edition of the Cambridge School Shakespeare plays, extensively rewritten, expanded and produced in an attractive new design. An active approach to classroom Shakespeare enables students to inhabit Shakespeare's imaginative world in accessible and creative ways. Students are encouraged to share Shakespeare's love of language, interest in character and sense of theatre.

Substantially revised and extended in full colour, classroom activities are thematically organised ...

An improved, larger-format edition of the Cambridge School Shakespeare plays, extensively rewritten, expanded and produced in an attractive new design. An active approach to classroom Shakespeare enables students to inhabit Shakespeare's imaginative world in accessible and creative ways. Students are encouraged to share Shakespeare's love of language, interest in character and sense of theatre.

Substantially revised and extended in full colour, classroom activities are thematically organised ...

Delivering fundamental insights into the most popular methods of molecular analysis, this text is an invaluable resource for students and researchers. It encompasses an extensive range of spectroscopic and spectrometric techniques used for molecular analysis in the life sciences, especially in the elucidation of the structure and function of biological molecules. Covering the range of up-to-date methodologies from everyday mass spectrometry and centrifugation to the more probing X-ray crystal...