Electronic Books

Total Books: 3521 - 3540 /3600

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

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

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

Vermin, Victims and Disease : British Debates over Bovine Tuberculosis and Badgers

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

Vibration Testing and Applications in System Identification of Civil Engineering Structures / Heung-Fai Lam, Jia-Hua Yang

Covers vibration testing and identification of dynamic structural systems. It starts from the fundamentals of structural ...

Vibrations and Stability : Advanced Theory, Analysis, and Tools / Jon Juel Thomsen

Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...

Virtual Colonoscopy

Virtual colonoscopy, or CT colonography, is a novel and rapidly evolving technique for the detection of tumoral lesions in ...

Virtual Organizations

This book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical ...

Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...

Virtual Systems and Multimedia : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered ...

Vision with Direction

Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...

Visual Content Processing and Representation

This book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, Fifty-?ve ...

Visual Securitization Humanitarian Representations and Migration Governance

This book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...

Visualization for Computer Security : 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings

This book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.

Visualization for Information Retrieval

The amount of digitized information available on the Internet, in digital libraries, and other forms of information systems ...

Visualization in Medicine and Life Sciences

The book contains papers discussing some of the latest data processing and visualization techniques and systems for e?ective ...

Visualization, Explanation and Reasoning Styles in Mathematics

This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...

Visualizing Mortality Dynamics in the Lexis Diagram

This book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also ...

Visualizing the Structure of Science

Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...

Voltage Stability of Electric Power Systems

The book describes practical methods that can be used for voltage security assessment and offers a variety of examples. This ...

Vortex Dominated Flows : Analysis and Computation for Multiple Scale Phenomena

Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via ...

Total Books: 3521 - 3540 /3600