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 ...
اقرأ المزيد
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
اقرأ المزيد
Vegetative Powers
The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد
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 : 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Vitreoretinal Surgery
Covers the most common diseases with appropriate approaches to various vitreoretinal problems. This illustrated guide explains ...
اقرأ المزيد
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 ...
اقرأ المزيدWar 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. ...
اقرأ المزيد
Water and Earthquakes
This book explores the interactions between water and earthquakes, including recent concerns about induced seismicity. It ...
اقرأ المزيد
Weak Links
How can our societies be stabilized in a crisis? Why can we enjoy and understand Shakespeare? Why are fruitflies uniform? ...
اقرأ المزيد
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Well-being, Sustainability and Social Development
This open access book examines more than two centuries of societal development using novel historical and statistical approaches. ...
اقرأ المزيد
