Electronic Books

Total Books: 6221 - 6240 /6372

he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...

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

Variational Principles in Physics explains variational principles and charts their use throughout modern physics. The heart ...

The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...

The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...

The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...

The contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...

In spite of the economic role of oil, Venezuela has started developing hydroelectricity since the 1950s. At present, the ...

Mercury and Venus - known as the "inferior planets" because they are closer to the Sun than the Earth is - have always ...

Ambulatory sanctions are often seen as a humane alternative to deprivation of liberty. The nature of intervention, the perspective ...

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

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

The book feature current research from the communities of verification, program certification, model checking, debugging ...

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

International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...

This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...

This book brings together a selection of original studies submitted to Biodiversity and Conservation that address the conservation ...

Agricultural cooperatives have strong market positions in agri-food industries, in many countries. In recent decades we have ...

Total Books: 6221 - 6240 /6372