Electronic Books

Total Books: 4121 - 4140 /4235

Verification, Model Checking, and Abstract Interpretation

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

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Verifying Treaty Compliance

International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...

Vermin, Victims and Disease : British Debates over Bovine Tuberculosis and Badgers

This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...

Vertebrate Conservation and Biodiversity

This book brings together a selection of original studies submitted to Biodiversity and Conservation that address the conservation ...

Vibration Problems ICOVP 2005

This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...

View-dependent Character Animation

This well-researched book develops and demonstrates a framework for view-dependent animation designed to solve issues, well ...

Views on Microstructures in Granular Materials

This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...

Violence Against Women : An International Perspective

The International Violence against Women Survey (IVAWS) has interviewed over 23,000 women in eleven countries (including ...

Violence in Europe

Taking the sociocultural long view, Violence in Europe analyzes the prevalence and role of violence—from street crime to ...

Viral Transport in Plants

The book provides a state of the art overview of the intricate functional virus:host relationships that allow a virus or ...

Virchows Eulogies : Rudolf Virchow in Tribute to his Fellow Scientists

Rudolph Virchow (1821-1902) was a leading figure in the medical, political and intellectual life of Germany in the second ...

Virtue, Liberty, and Toleration : Political Ideas of European Women, 1400–1800

This volume challenges the view that women have not contributed to the historical development of political ideas, and highlights ...

Viruses in Foods

Cases of viral foodborne outbreaks are on the rise in part due to the increases in population, scarcity of clean water, and ...

Visa Policy within the European Union Structure

The book focuses on the common visa policy as a case study on the constitutional structure of the European Union. After introducing ...

Visions for Intercultural Music Teacher Education

This book highlights the importance of visions of alternative futures in music teacher education in a time of increasing ...

Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions

This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...

Visual Securitization Humanitarian Representations and Migration Governance

This book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...

Visualization and Processing of Tensor Fields

This book is the first edited volume that presents the state-of-the-art in the visualization and processing of tensor fields. ...

Vitamin B12 / Raghad Shahin ; Reem Barghouth ; Nisreen Al-bayati

Vitamin, any of several organic substances that are necessary in small quantities for normal health and growth in higher ...

Total Books: 4121 - 4140 /4235