Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...
اقرأ المزيد
VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...
اقرأ المزيد
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد
Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
اقرأ المزيدAutomobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
اقرأ المزيد
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
اقرأ المزيد
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد
The book feature current research from the communities of verification, program certification, model checking, debugging ...
اقرأ المزيد
Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...
اقرأ المزيد
Multimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...
اقرأ المزيد
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
اقرأ المزيد
Research on visual development now spans a wide variety of disciplines encompassing biochemistry, anatomy, electrophysiology, ...
اقرأ المزيد
External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...
اقرأ المزيدThe book explains aspects of this processing method in thermal and non-thermal plasmas, as well as describing the effects ...
اقرأ المزيد
Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via ...
اقرأ المزيد
Recent investigations have highlighted the similarities between turbulence in cryogenic fluids at temperatures close to absolute ...
اقرأ المزيد
This book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...
اقرأ المزيد
A collection of the various old and new results, centered around the following simple observation of J L Walsh. This book ...
اقرأ المزيد
Non-hazardous waste materials and by-products which are mostly landfilled can be used in making concrete and similar construction ...
اقرأ المزيد
This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
اقرأ المزيد