Vacation Queueing Models
A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...
Lee mas
Value-Based Software Engineering
VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...
Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Lee mas
Valuing Environmental Amenities Using Stated Choice Studies
This book provides practical, research-based advice on how to conduct high-quality stated choice studies. It covers every ...
Lee mas
Variational Analysis and Generalized Differentiation I
This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...
Lee mas
Venus and Mercury, and How to Observe Them
Mercury and Venus - known as the "inferior planets" because they are closer to the Sun than the Earth is - have always ...
Lee mas
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
Vertebrate Hair Cells
Vertebrate Hair Cells' provides a current overview of the mechanosensory receptor cells of the vertebrate inner ear. Each ...
Lee mas
Video Traces for Network Performance Evaluation
Multimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...
Lee mas
Viral Genome Packaging: Genetics, Structure, and Mechanism
Viral Genome Packaging focuses on the process of genome "packaging" within a pre-formed viral procapsid. The chapters of ...
Lee mas
Viral Membrane Proteins: Structure, Function, and Drug Design
Protein Reviews, a new book series from Springer, covers all aspects of protein investigations including protein chemistry, ...
Lee mas
Virtual Colonoscopy
Virtual colonoscopy, or CT colonography, is a novel and rapidly evolving technique for the detection of tumoral lesions in ...
Lee mas
Virtualization
Creating a virtual network allows you to maximize the use of your servers. Virtualization: From the Desktop to the Enterprise ...
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
Vision with Direction
Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
Lee mas
Visual Basic 2008 Recipes : A Problem-Solution Approach
Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium ...
Lee mas
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 ...
Lee mas
Visual Information and Information Systems
Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
Lee mas
Visualization: Theory and Practice in Science Education
External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...
Lee mas
