Electronic Books

Total Books: 1301 - 1320 /1325

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. ...

Total Books: 1301 - 1320 /1325