Electronic Books

Total Books: 2261 - 2280 /2348

Vacuum Technology : Practice for Scientific Instruments

Nanotechnology has reached a level where almost every new development and even every new product uses features of nanoscopic ...

Validated Designs for Object-oriented Systems

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...

Variant Construction from Theoretical Foundation to Applications

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

Variation et optimisation de formes

Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...

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

Verbal and Nonverbal Communication Behaviours

This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...

Verification Methodology Manual for SystemVerilog

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

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

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

Verifying Treaty Compliance

International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...

Virtual Reality

This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...

Viscosity of Liquids

The need for properties is ever increasing to make processes more economical. A good survey of the viscosity data, its critical ...

Visions of Heaven

Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...

Visual Communication for Architects and Designers : Constructing the Persuasive Presentation / Margaret Fletcher

Teaches you the art of designing a concise, clear, compelling and effective visual and verbal presentation. Margaret Fletcher ...

Visualization: Theory and Practice in Science Education

External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...

Visualizing the Semantic Web

This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...

Total Books: 2261 - 2280 /2348