This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 ... Zobraziť viac
This book is a systematical introduction to the development of simulation models and the implementation and evaluation of simulation experiments with Plant Simulation... Zobraziť viac
This textbook explains comprehensively and in rigorous detail not only mainstream microeconomics, but also why many economists are dissatisfied with major aspects of it, and the alternative that they are exploring in response... Zobraziť viac
An increasing number of countries develop capabilities for cyber-espionage and sabotage. The sheer number of reported network compromises suggests that some of these countries view cyber-means as integral and well-established elements... Zobraziť viac
This book analyzes the trends and technologies of green and energy efficient building, identifying strategies for implementing energy savings and enabling the use of renewable resources in residential, commercial, healthcare... Zobraziť viac
Understanding and employing cryptography has become central for securing virtually any digital application, whether user app, cloud service, or even medical implant... Zobraziť viac
Spatial Database for GPS Wildlife Tracking Data guides animal ecologists, biologists and wildlife and data managers through a step-by-step procedure to build their own advanced software platforms to manage and process wildlife tracking data... Zobraziť viac
Surveys the physiological or biochemical changes caused by chemicals, that can be measured in wildlife to give an accurate picture of the state of the environment in that locality. Considers the nervous, reproductive, endocrine, ... Zobraziť viac
This book offers an overview of state-of-the-art in non amplified DNA detection methods and provides chemists, biochemists, biotechnologists and material scientists with an introduction to these methods... Zobraziť viac
The quality of food is such a live issue at the moment that this title is an essential tool for researchers in a variety of disciplines. It provides a review of the key features of trace elements in soils, plants and the food web ... Zobraziť viac
This book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first to bring these elements together in an updated manner. This work is suitable for both academic coursework... Zobraziť viac
Designed to form the basis of an undergraduate course in mathematical finance, this book builds on mathematical models of bond and stock prices and covers three major areas of mathematical finance that all have an enormous impact on the way modern... Zobraziť viac
This book examines the concept and practice of mentoring, as well as the wider scope and diversity of the mentoring that people can experience in their own life time. With each chapter dedicated to a specific level of mentoring, the book makes clear... Zobraziť viac
The AJCC Cancer Staging Manual is used by physicians and health care professionals throughout the world to facilitate the uniform description and reporting of neoplastic diseases. Proper classification and staging of cancer is essential for ... Zobraziť viac
This book presents an innovative teaching experiment and an analytical study of critical thinking and the sociocultural theory of learning to illustrate the cognitive learning development mechanisms. It addresses the issues in developing... Zobraziť viac
Dieses Lehrbuch zur Quantentheorie ist speziell für Lehramtsstudierende konzipiert und auf die Bedürfnisse zukünftiger Lehrer und Lehrerinnen zugeschnitten. Die konzeptuellen Grundlagen, aber auch die Darstellung des mathematischen... Zobraziť viac
Public health continues to evolve as professionals work not only to prevent disease and promote well-being but also to reduce health disparities and protect the environment. To a greater extent, policy is intimately linked to this process... Zobraziť viac
From their largely descriptive beginnings about a half century ago, studies on the ecology of small mammals have mushroomed in number, scope, content and complexity. Yet strangely, or perhaps not so strangely if one considers the extent and ... Zobraziť viac
Mechanical Vibrations: Modeling and Measurement describes essential concepts in vibration analysis of mechanical systems. It incorporates the required mathematics, experimental techniques, fundamentals of model analysis, and beam theory into ... Zobraziť viac
