Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee mas
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
Lee mas
Venture Capital and the Financing of Innovation / Bernard Guilhon
This book proposes two guiding ideas. The first idea presents innovation as a very uncertain process. This modifies the decision-making ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Visual Question Answering: From Theory to Application / Qi Wu, Peng Wang, Xin Wang, Xiaodong He, Wenwu Zhu
Combines visual inputs like image and video with a natural language question concerning the input and generates a natural ...
Lee mas
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 ...
Lee mas
Vitreoretinal Surgery
Covers the most common diseases with appropriate approaches to various vitreoretinal problems. This illustrated guide explains ...
Lee mas
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 ...
Lee masWar related neuropsychological disease : Epilepsy / Sara Al-awar ; Raghad Haider ; Mayas Haider
Among the consequences of war, the impact on the mental health of the civilian population is one of the most significant. ...
Lee mas
Water and Earthquakes
This book explores the interactions between water and earthquakes, including recent concerns about induced seismicity. It ...
Lee mas
Weak Links
How can our societies be stabilized in a crisis? Why can we enjoy and understand Shakespeare? Why are fruitflies uniform? ...
Lee mas
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lee mas
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
Lee mas
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee mas
Well-being, Sustainability and Social Development
This open access book examines more than two centuries of societal development using novel historical and statistical approaches. ...
Lee mas
