Electronic Books

Total Books: 921 - 935 /935
978-3-540-74433-7
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 ...

Continue reading
978-3-540-29263-0
Value-Based Software Engineering

VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...

Continue reading
978-3-540-28853-4
Vehicle Propulsion Systems

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

Continue reading
NoIMG
Vehicle Propulsion Systems

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

Continue reading
978-0-387-25556-9
Verification Methodology Manual for SystemVerilog

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

Continue reading
978-3-540-78163-9
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Continue reading
978-3-030-68045-9
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 ...

Continue reading
978-1-4020-5566-9
Video Traces for Network Performance Evaluation

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

Continue reading
978-3-540-73335-5
Virtual Reality

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

Continue reading
978-3-540-68582-1
Vortex Dominated Flows : Analysis and Computation for Multiple Scale Phenomena

Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via ...

Continue reading
NoIMG
Wave Propagation in Infinite Domains

Attention is focused on linear waves in ideal fluids and elastic domains. Wave propagation based on scalar and vector wave ...

Continue reading
978-3-540-88737-9
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...

Continue reading
NoIMG
Wind Energy

This book comprises reports on basic research, as well as research related to the practical exploitation and application ...

Continue reading
978-0-387-31275-0
Writing Testbenches using SystemVerilog

Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success ...

Continue reading
978-1-4020-6448-7
geoENV VI - Geostatistics for Environmental Applications : Proceedings of the Sixth European Conference on Geostatistics for Environmental Applications

This volume contains how geostatistics is applied within the environmental sciences. A few selected theoretical contributions ...

Continue reading
Total Books: 921 - 935 /935