Variations on Constants
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
اقرأ المزيد
Vegetables I
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
اقرأ المزيد
Vegetables II
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
اقرأ المزيد
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
اقرأ المزيد
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 ...
اقرأ المزيد
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
اقرأ المزيد
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
اقرأ المزيدVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
اقرأ المزيد
Visual Astronomy Under Dark Skies
Modern astronomical telescopes, along with other advances in technology, have brought the deep sky – star clusters, nebulae ...
اقرأ المزيد
Visual Data Mining : Theory, Techniques and Tools for Visual Analytics
The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.
اقرأ المزيد
Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
اقرأ المزيد
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 ...
اقرأ المزيد
Visualizing the Semantic Web
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
اقرأ المزيد
Volcano Deformation
With contributions from some of the most experienced and knowledgeable experts in the field, the book desbribes the state-of-the-art ...
اقرأ المزيد
Voltage-Gated Calcium Channels
oltage-gated calcium channels are essential mediators of a range of physiological functions, including the communication ...
اقرأ المزيد
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 ...
اقرأ المزيدWadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction
The book chapters comprehensively and significantly highlight different scientific research disciplines related to wadi flash ...
اقرأ المزيد
