Since Aristotle, many different theories of distributive justice have been proposed, by philosophers as well as social scientists. The typical approach within social choice theory is to assess these theories in an axiomatic way - most of the time the reader is confronted with abstract reasoning and logical deductions. This book shows that...
Permutation group algorithms are indispensable in the proofs of many deep results, including the construction and study of sporadic finite simple groups. This work describes the theory behind permutation group algorithms, up to the most recent developments based on the classification of finite simple groups. Rigorous complexity estimates,...
This book is intended for researchers, engineers and students in solid mechanics, materials science and physics who are interested in using the power of modern computing to solve a wide variety of problems of both practical and fundamental significance in elasticity. Extensive use of Mathematica in the book makes available to the reader a range of...
Mathematical Explorations with MATLAB examines the mathematics most frequently encountered in first-year university courses. A key feature of the book is its use of MATLAB, a popular and powerful software package. The book's emphasis is on understanding and investigating the mathematics by putting the mathematical tools into practice in a...
Bigger, better, and broader in scope, the Big Book of Windows Hacks gives you everything you need to get the most out of your Windows Vista or XP system, including its related applications and the hardware it runs on or connects to. Whether you want to tweak Vista's Aero interface, build customized sidebar gadgets and run them from a USB...
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...
The proliferation of new information technologies throughout the world has raised some important questions for policymakers as to how developing countries can benefit from their diffusion. This important volume compares the advantages and disadvantages of the IT revolution through detailed studies of a variety of developed and developing nations...
LR parsing has become a widely used method of syntax analysis; this
is largely due to the availability of parser generators and compiler-
compilers based on LR techniques. However, the readily available ac
counts of the theory of these techniques are either superficial or are
weighed down with tedious mathematical detail of a merely...
In an age when so much communication is tethered to
technology, delivering messages face-to-face has paradoxically
become even more vital to professional success. We all have ready
access to more information than any of our ancestors did. At the
click of a few keys, we can locate reams of facts on any topic under
the sun. But...
After Plato and Aristotle, the Stoics, from the 3rd century BCE onwards, developed the third great classical conception of wisdom. This book offers a reconstruction of this pivotal notion in Stoicism, starting out from the two extant Stoic definitions, 'knowledge of human and divine matters' and 'fitting expertise'. It focuses...
Fully updated and expanded, this new edition provides students with an accessible introduction to marine chemistry. It highlights geochemical interactions between the ocean, solid earth, atmosphere and climate, enabling students to appreciate the interconnectedness of Earth's processes and systems and elucidates the huge variations in the...
“Which digital camera should I buy? What is the best holiday for me and
my family? Which is the best investment for supporting the education of my
children? Which movie should I rent? Which web sites will I find interesting?
Which book should I buy for my next vacation? Which degree and university
are the best for my...
