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 ...
اقرأ المزيد
