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
Verifying Treaty Compliance
International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...
Lee mas
Vertebrate Conservation and Biodiversity
This book brings together a selection of original studies submitted to Biodiversity and Conservation that address the conservation ...
Lee mas
Vertical Markets and Cooperative Hierarchies
Agricultural cooperatives have strong market positions in agri-food industries, in many countries. In recent decades we have ...
Lee mas
Vertical Root Fractures in Dentistry / Aviad Tamse, Igor Tsesis, Eyal Rosen (eds.)
Provides a comprehensive overview of vertical root fractures (VRFs) in endodontically treated teeth, which may be associated ...
Lee mas
Very High Resolution Photoelectron Spectroscopy
Photoemission spectroscopy is one of the most extensively used methods to study the electronic structure of atoms, molecules, ...
Lee mas
Vibration Mitigation Systems in Structural Engineering / Okyay Altay
The scope of the book is the application of vibration mitigation systems in structural engineering. The content includes ...
Lee mas
Vibration Problems ICOVP 2005
This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...
Lee mas
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 ...
Lee masVibration of Solids and Structures Under Moving Loads
Analyses the effects of moving loads on elastic and inelastic solids, elements and parts of structures and on elastic media, ...
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
Video Marketing : Create Engaging Video Campaigns to Drive Brand Growth and Sales / Jon Mowat
Provides step-by-step guidance for creating and activating effective video marketing and measuring its success Shows how ...
Lee mas
Views on Microstructures in Granular Materials
This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Lee mas
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Lee mas
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held ...
Lee mas
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
The 1st International Conference on Virtual Storytelling took place on September 27-28, 2001, in Avignon (France) in the ...
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 masVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
Lee mas
Visa Policy within the European Union Structure
The book focuses on the common visa policy as a case study on the constitutional structure of the European Union. After introducing ...
Lee mas
Viscosity of Liquids
The need for properties is ever increasing to make processes more economical. A good survey of the viscosity data, its critical ...
Lee mas
