This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling t...

Transfer prices are of dominant importance in company practice and a decentralised organisation, e.g. a profit centre-organisation, is most-widely used. This textbook takes an innovative controversial approach by looking at functions of transfer prices and how different types of transfer prices can fulfil them. Suggestions common in other textbooks will be picked up and it will be shown why they do not contribute to solve the problems companies face. With support of numerous examples and e...

This textbook presents concepts and applications of Management Accounting, one of the main approaches used by management to support future organisational performance. It covers methods and instruments of management and cost accounting, cost management, and management control and is based on the German textbook "Interne Unternehmensrechnung" by Ralf Ewert and Alfred Wagenhofer (Springer).The authors describe the managerial uses of accounting information, both for decision-making and...

This book has developed over the past fifteen years from a modern course on stochastic chemical kinetics for graduate students in physics, chemistry and biology. The first part presents a systematic collection of the mathematical background material needed to understand probability, statistics, and stochastic processes as a prerequisite for the increasingly challenging practical applications in chemistry and the life sciences examined in the second part.Recent advances in the devel...

This book provides an introduction to investment appraisal and presents a range of methods and models, some of which are not widely known, or at least not well covered by other textbooks. Each approach is thoroughly described, evaluated and illustrated using examples, with its assumptions and limitations analyzed in terms of their implications for investment decision-making practice. Investment decisions are of vital importance to all companies. Getting these decisions right is crucial but...

This book unifies general concepts of plant and animal virus evolution and covers a broad range of topics related to theoretical and experimental aspects of virus population dynamics and viral fitness.Timely topics such as viral mechanisms to cope with antiviral agents, the adaptability of the virus to new hosts, emergence of new viral phenotypes, and the connections between short- and long-term virus evolution are included.By comparing plant and animal viruses, universal me...

This volume brings together recent developments in quasispecies theory extended to variable environments and practical applications in elucidating viral dynamics and treatment designs. In particular, the existence of an error threshold in rugged fitness landscapes has opened the way to a new antiviral strategy termed lethal mutagenesis, which is now under intensive theoretical, experimental and clinical investigation. As such the book explains how an understanding of quasispecies dynamics ...

  James A. Shapiro proposes an important new paradigm for understanding biological evolution, the core organizing principle of biology. Shapiro introduces crucial new molecular evidence that tests the conventional scientific view of evolution based on the neo-Darwinian synthesis, shows why this view is inadequate to today's evidence, and presents a compelling alternative view of the evolutionary process that reflects the shift in life sciences...

New advances in proteomics, driven largely by developments in mass spectrometry, continue to reveal the complexity and diversity of pathogenic mechanisms among microbes that underpin infectious diseases. Therefore a new era in medical microbiology is demanding a rapid transition from current procedures to high throughput analytical systems for the diagnosis of microbial pathogens.This book covers the broad microbiological applications of proteomics and mass spectrometry. It is divi...

This book comprehensively covers the mechanisms of action and inhibitor design for HIV-1 integrase. It serves as a resource for scientists facing challenging drug design issues and researchers in antiviral drug discovery. Despite numerous review articles and isolated book chapters dealing with HIV-1 integrase, there has not been a single source for those working to devise anti-AIDS drugs against this promising target. But this book fills that gap and offers a valuable introduction to the f...

The increasing integration between gene manipulation and genomics is embraced in this new book, Principles of Gene Manipulation and Genomics, which brings together for the first time the subjects covered by the best-selling books Principles of Gene Manipulation and Principles of Genome Analysis & Genomics.Comprehensively revised, updated and rewritten to encompass within one volume, basic and advanced gene manipulation techniques, genome analysis, g...

"This volume inspires. It certainly will be much appreciated by cell biologists all over the world."Quarterly Review of Biology, March 2009This book is the eagerly awaited second edition of the best-selling Mitochondria, a book widely acknowledged as the first modern, truly comprehensive authored work on the important, scientifically fundamental topic of the cellular organelles known as mitochondria.This new edition brings readers c...