Electronic Books

Total Books: 3121 - 3140 /3215

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 ...

Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Variant Construction from Theoretical Foundation to Applications

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

Variational and Quasi-Variational Inequalities in Mechanics

The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...

Vascular Mechanics and Pathology

Vascular Mechanics and Pathology focuses on the artery and arterial diseases. As the fundamental functions of the artery ...

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 ...

Vehicle Dynamics and Control

Vehicle Dynamics and Control provides a comprehensive coverage of vehicle control systems and the dynamic models used in ...

Vehicle Dynamics: Theory and Application

The contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...

Vehicle Propulsion Systems

Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...

Vehicle Propulsion Systems

Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...

Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

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 ...

Vibration 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, ...

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 ...

Video Traces for Network Performance Evaluation

Multimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...

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 ...

Virtual Prototyping & Bio Manufacturing in Medical Applications

The principles utilized draw heavily from the more traditional engineering fields including mechanical engineering, industrial ...

Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...

Virtual, Distributed and Flexible Organisations

Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...

Total Books: 3121 - 3140 /3215