Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
اقرأ المزيد
Virtuality and Virtualization
This book begins with consideration of possible frameworks for understanding virtuality and virtualization. It examines group ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
VizSEC 2007 : Proceedings of the Workshop on Visualization for Computer Security
Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
اقرأ المزيد
Voltage-Sensitive Ion Channels : Biophysics of Molecular Excitability
The goal of this book is to explore the complexity of a microscopic bit of matter that exists in a myriad of copies within ...
اقرأ المزيد
Vulnerability Analysis and Defense for the Internet
This book provides packet captures, flow charts and detailed analysis of a protocol and concepts of Reverse Engineering, ...
اقرأ المزيد
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
اقرأ المزيدWarehouse Management
This book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...
اقرأ المزيدWetlands and Water Framework Directive : Protection, Management and Climate Change
This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of ...
اقرأ المزيد
What Sustains Life?
What Sustains Life? How can something so seemingly improbable and fragile as life exist in such hardy and resilient forms? ...
اقرأ المزيدWind Turbine Control Systems
Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...
اقرأ المزيد
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
اقرأ المزيد
Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...
اقرأ المزيد
Words, Objects and Events in Economics The Making of Economic Theory
This book examines from a variety of perspectives the disappearance of moral content and ethical judgment from the models ...
اقرأ المزيد
Workflows for e-Science
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
اقرأ المزيد
