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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيدWind Energy
This book comprises reports on basic research, as well as research related to the practical exploitation and application ...
اقرأ المزيد
Writing Testbenches using SystemVerilog
Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success ...
اقرأ المزيد
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 ...
اقرأ المزيد
