First published by Houghton Mifflin in 1962, Silent Springalerted a large audience to the environmental and human dangers ofindiscriminate use of pesticides, spurring revolutionary changes inthe laws affecting our air, land, and water. "Silent Spring becamea runaway bestseller, with international reverberations . . . Itis] well crafted, fearless and succinct . . . Even if she had notinspired a generation of activists, Carson would prevail as one ofthe greatest nature writers in American letters" (PeterMatthiessen, for Time's 100 Most Influential People of theCentury). This fortieth anniversary edition celebrates RachelCarson's watershed book with a new introduction by the author andactivist Terry Tempest Williams and a new afterword by theacclaimed Rachel Carson biographer Linda Lear, who tells the storyof Carson's courageous defense of her truths in the face ofruthless assault from the chemical industry in the year followingthe publication of Silent Spring and before her untimely death in1964.

There has been an explosive growth in the field ofcombinatorial algorithms. These algorithms depend not only onresults in combinatorics and especially in graph theory, but alsoon the development of new data structures and new techniques foranalyzing algorithms. Four classical problems in networkoptimization are covered in detail, including a development of thedata structures they use and an analysis of their running time.Data Structures and Network Algorithms attempts to provide thereader with both a practical understanding of the algorithms,described to facilitate their easy implementation, and anappreciation of the depth and beauty of the field of graphalgorithms.

Structural proof theory is a branch of logic that studies thegeneral structure and properties of logical and mathematicalproofs. This book is both a concise introduction to the centralresults and methods of structural proof theory, and a work ofresearch that will be of interest to specialists. The book isdesigned to be used by students of philosophy, mathematics andcomputer science. The book contains a wealth of results onproof-theoretical systems, including extensions of such systemsfrom logic to mathematics, and on the connection between the twomain forms of structural proof theory - natural deduction andsequent calculus. The authors emphasize the computational contentof logical results. A special feature of the volume is acomputerized system for developing proofs interactively,downloadable from the web and regularly updated.

How do plant and animal populations change genetically toevolve and adapt to their local environments? How do populationsgrow and interact with one another through competition andpredation? How does behaviour influence ecology and evolution?Introduction to Population Biology covers all these areas and more.Taking a quantitative and Darwinian perspective, the basic theoryof population processes is developed using mathematical models. Toallow students of biology, ecology and evolution to gain a realunderstanding of the subject, key features include: ? step-by-stepinstructions for spreadsheet simulations of many basic equations toexplore the outcomes or predictions of models ? worked examplesshowing how the equations are applied to biological questions ?problem sets together with detailed solutions to help the readertest their understanding ? real-life examples to help the readerrelate the theory to the natural world

Starred Review。 What Aczel did for mathematician Fermat（Fermat’s Last Theorem）he now does for Descartes in this splendidstudy about the French philosopher and mathematician （1596–1650）most famous for his paradigm-smashing declaration， “I think;therefore， I am。” Part historical sketch， part biography and partdetective story， Aczel’s chronicle of Descartes’s hidden workhinges on his lost secret notebook。 Of 16 pages of codedmanu*， one and a half were copied in 1676 by fellowphilosopher and mathematician Leibniz。 For him， Descartes’sin*ion of the cryptic letters“GFRC” immediately revealed hisassociation with the occult fraternity of the Rosicrucians—Leibnizwas also a member。 The notebook also revealed to Leibniz adiscovery made by Descartes that would have transformedmathematics。 As Aczel so deftly demonstrates， Descartes'smathematical theories were paths to an understanding the order andmystery of the cosmos， and he kept the notebook hidden because itcont

Macroscopic quantum phenomena are particularly important whenconsidering the problem of Schr?dinger's cat. This book contains acoherent and self-contained account of such phenomena, focusing onthe central role played by macroscopic quantum tunneling. Beginningwith an explanation of the nature and significance of the catproblem, Shin Takagi introduces the concept of macroscopic quantumtunneling. He deals with typical examples in detail, elucidatinghow quantum mechanical coherence may be lost (so-called'decoherence') or how it may be maintained despite the effects ofenvironment and measurement processes. Recent experimental andtheoretical advances are discussed, and the remaining problemsdescribed. The final chapter describes an experiment to decidebetween quantum mechanics and macrorealism in the light ofEinstein's moon. Assuming only a knowledge of elementary quantummechanics, this book emphasises conceptual aspects rather thantechnical details. It provides a firm introduction to the subjectfor graduate stud