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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Virtual Colonoscopy
Virtual colonoscopy, or CT colonography, is a novel and rapidly evolving technique for the detection of tumoral lesions in ...
Lee mas
Virtual Organizations
This book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Vision with Direction
Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
Lee mas
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 ...
Lee mas
Visual Securitization Humanitarian Representations and Migration Governance
This book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...
Lee mas
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.
Lee mas
Visualization for Information Retrieval
The amount of digitized information available on the Internet, in digital libraries, and other forms of information systems ...
Lee mas
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 ...
Lee mas
Visualization, Explanation and Reasoning Styles in Mathematics
This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
Lee mas
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 ...
Lee mas
Visualizing the Structure of Science
Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Vortices in Bose-Einstein Condensates
This book provides an up-to-date approach to the diagnosis and management of endocarditis based on a critical analysis of ...
Lee mas
