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
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 ...
Lee masVerrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice
This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...
Lee mas
Vertebrate Hair Cells
Vertebrate Hair Cells' provides a current overview of the mechanosensory receptor cells of the vertebrate inner ear. Each ...
Lee mas
Vertical alveolar ridge augmentation in implant dentistry : a surgical manual / Tolstunov, Len
Vertical Augmentation of the Alveolar Ridge in Implant Dentistry: A Surgical Manual presents the main methods of vertical ...
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 masViral Therapy / Tasneem Rajab Agha ; Nour Houranieh ; Baraa Alkaed ; Zinab Alsamara
Virotherapy is a treatment using biotechnology to convert viruses into therapeutic agents by reprogramming viruses to treat ...
Lee masVirtual Leadership : Practical Strategies for Success with Remote or Hybrid Work and Teams / Penny Pullan
Virtual Leadership offers practical strategies and proven methods for getting the best out of hybrid or remote work and teams. ...
Lee masVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
Lee mas
Viruses in Foods
Cases of viral foodborne outbreaks are on the rise in part due to the increases in population, scarcity of clean water, and ...
Lee mas
Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions
This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...
Lee mas
Visualizing the Semantic Web
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
Lee mas
Vitreo-retinal Surgery
This volume on vitreoretinal surgery is written by authors who are leaders in these fields of research. It covers the large ...
Lee mas
Vitreoretinal Surgery
Covers the most common diseases with appropriate approaches to various vitreoretinal problems. This illustrated guide explains ...
Lee mas
Vocational Teacher Education in Central Asia
This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based ...
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 masVoltage-Enhanced Processing of Biomass and Biochar / Gerardo Diaz
The book explains aspects of this processing method in thermal and non-thermal plasmas, as well as describing the effects ...
Lee mas
Voltage-Sensitive Ion Channels : Biophysics of Molecular Excitability
The goal of this book is to explore the complexity of a microscopic bit of matter that exists in a myriad of copies within ...
Lee mas
Vorticity, Statistical Mechanics, and Monte Carlo Simulation
This book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...
Lee mas
Wafer Level 3-D ICs Process Technology
The core of the book discusses alternative technology platforms for pre-packaging wafer level 3-D ICs, with an emphasis on ...
Lee mas
