Electronic Books

Total Books: 1301 - 1320 /1325

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...

This book proposes two guiding ideas. The first idea presents innovation as a very uncertain process. This modifies the decision-making ...

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

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

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

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

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

Combines visual inputs like image and video with a natural language question concerning the input and generates a natural ...

Examines the role of vitamin E as an essential micronutrient in human health and its extensive clinical benefits. Sections ...

Covers the most common diseases with appropriate approaches to various vitreoretinal problems. This illustrated guide explains ...

The goal of this book is to explore the complexity of a microscopic bit of matter that exists in a myriad of copies within ...

Among the consequences of war, the impact on the mental health of the civilian population is one of the most significant. ...

This book explores the interactions between water and earthquakes, including recent concerns about induced seismicity. It ...

How can our societies be stabilized in a crisis? Why can we enjoy and understand Shakespeare? Why are fruitflies uniform? ...

It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...

This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

This open access book examines more than two centuries of societal development using novel historical and statistical approaches. ...

Total Books: 1301 - 1320 /1325