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
Variable Domain-specific Software Languages with DjDSL
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee masVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Lee mas
Vascular Mechanics and Pathology
Vascular Mechanics and Pathology focuses on the artery and arterial diseases. As the fundamental functions of the artery ...
Lee mas
Vector Control of Three-Phase AC Machines : System Development in the Practice
This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...
Lee mas
Vehicle Dynamics and Control
Vehicle Dynamics and Control provides a comprehensive coverage of vehicle control systems and the dynamic models used in ...
Lee mas
Vehicle Dynamics: Theory and Application
The contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...
Lee mas
Vehicle Propulsion Systems
Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lee masVehicle Propulsion Systems
Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lee mas
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
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
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 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 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 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
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
