The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suiteThis book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Lire la suiteThis book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lire la suiteThe variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Lire la suiteVascular Mechanics and Pathology focuses on the artery and arterial diseases. As the fundamental functions of the artery ...
Lire la suiteThis monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...
Lire la suiteVehicle Dynamics and Control provides a comprehensive coverage of vehicle control systems and the dynamic models used in ...
Lire la suiteThe contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...
Lire la suiteAutomobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lire la suiteAutomobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lire la suiteVerification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
Lire la suiteThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suiteThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suiteAnalyses the effects of moving loads on elastic and inelastic solids, elements and parts of structures and on elastic media, ...
Lire la suiteTies together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...
Lire la suiteMultimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...
Lire la suiteThis volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Lire la suiteThe principles utilized draw heavily from the more traditional engineering fields including mechanical engineering, industrial ...
Lire la suiteThis book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Lire la suiteOrganisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
Lire la suite