Electronic Books

Total Books: 961 - 980 /987

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Very High Resolution Photoelectron Spectroscopy

Photoemission spectroscopy is one of the most extensively used methods to study the electronic structure of atoms, molecules, ...

Virus Diseases and Crop Biosecurity

Proceedings of the NATO Advanced Research Workshop on Significance of Virus Diseases for Crop Biosecurity in a Developing ...

Visual Communication: Insights and Strategies / Janis Teruggi Page, Margaret Duffy

Teaches visual literacy, theory, scholarly critique, and practical application of visuals in professional communication careers This ...

Visual Data Mining : Theory, Techniques and Tools for Visual Analytics

The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.

Visualization of Digital Terrain and Landscape Data

This book reflects a profound change that has taken place in the practice of landscape architecture and planning in the past ...

Vitamin D and its relation with diabetes mellitus / Nour Nassif ; Kareem Kanhoush ; Carol Maksour ; Mohammad Nour Talbe

Vitamin D is essential for human body for several reasons including maintaining healthy bones and teeth, it may also protects ...

Vitamin E in Human Health / Peter Weber, Marc Birringer, Jeffrey B. Blumberg, Manfred Eggersdorfer, Jan Frank

Examines the role of vitamin E as an essential micronutrient in human health and its extensive clinical benefits. Sections ...

Vitamin deficiency / Dania Nasser ; Reem Aljayosh

Vitamin deficiency is the condition of a long-term lack of a vitamin. When caused by not enough vitamin intake it is classified ...

Vitreoretinal Surgery

Covers the most common diseases with appropriate approaches to various vitreoretinal problems. This illustrated guide explains ...

Wastewater Treatment, Plant Dynamics and Management in Constructed and Natural Wetlands

Constructed wetlands provide a reliable treatment technology for various types of polluted water, including industrial and ...

Water Quality Hazards and Dispersion of Pollutants

Water resources are under stress worldwide and one of the elements of this stress - man's impact on water quality constitutes ...

Water and the Search for Life on Mars

This highly absorbing book relates how NASA and ESA have sought evidence of life on Mars. ‘Follow the water’ with noted ...

Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings

This book is organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; ...

Western North American Juniperus Communities

Juniperus woodlands and savannas in western North America are both extensive and dynamic, occupying approximately 55 million ...

Wetlands: Functioning, Biodiversity Conservation, and Restoration

Together with its companion Volume 190 Wetlands and Natural Resource Management, this volume gives a broad and well-integrated ...

What Have We Learned?: Macroeconomic Policy after the Crisis

Since 2008, economic policymakers and researchers have occupied a brave new economic world. Previous consensuses have been ...

Total Books: 961 - 980 /987