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

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

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

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

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

Weiterlesen
Virtual Colonoscopy

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

Weiterlesen
Virtual Organizations

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

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

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

Weiterlesen
Vision with Direction

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

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

Weiterlesen
Visual Securitization Humanitarian Representations and Migration Governance

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

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

Weiterlesen
Visualization for Information Retrieval

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

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

Weiterlesen
Visualization, Explanation and Reasoning Styles in Mathematics

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

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

Weiterlesen
Visualizing the Structure of Science

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

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

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

Weiterlesen
Total Books: 3521 - 3540 /3600