Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيد
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيد
Control of Singular Systems with Abrupt Changes
In this book many problems like stochastic stability, stochastic stabilization using state feedback control and static output ...
اقرأ المزيد
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيد
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيد
Design of Reinforced Concrete Buildings for Seismic Performance : Practical Deterministic and Probabilistic Approaches / Mark Aschheim, Enrique Hernández-Montes, Dimitrios Vamvatsikos
Presents an elegant, simple and theoretically coherent design framework. Required strength is determined on the basis of ...
اقرأ المزيد
Don’t Panic with Mechanics!
The ultimate companion in the classical horror discipline of engineering science! Contents of the book are the basics of ...
اقرأ المزيد
ESD Protection Device and Circuit Design for Advanced CMOS Technologies
ESD Protection Device and Circuit Design for Advanced CMOS Technologies is intended for practicing engineers working in the ...
اقرأ المزيد
Electromagnetic Field Theory for Engineers and Physicists
This established, didactically excellent textbook unifies intuitiveness with extraordinary precision of its terminology and ...
اقرأ المزيد
Electrostatic Accelerators
Electrostatic accelerators are an important and widespread subgroup within the broad spectrum of modern, large particle acceleration ...
اقرأ المزيد
Engineering Mechanics
This is the first of two volumes introducing structural and continuum mechanics in a comprehensive and consistent way. The ...
اقرأ المزيد
Engineering Statics / By M. Rashad Islam, M. Abdullah Al Faruque, Bahar Zoghi
Focusing on practical applications knowledge, with numerous real-world examples, practice problems, and case studies throughout. ...
اقرأ المزيد
Esercizi di Fisica: Meccanica e Termodinamica
La risoluzione di esercizi rappresenta uno strumento indispensabile per raggiungere una comprensione sicura e approfondita ...
اقرأ المزيد
FPGA Implementations of Neural Networks
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
اقرأ المزيد
Field Models in Electricity and Magnetism
Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...
اقرأ المزيد
Fluid Mechanics : An Introduction to the Theory of Fluid Flows
Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent ...
اقرأ المزيدFluid and thermodynamics ; Volume 1: basic fluid mechanics
Simple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
اقرأ المزيد
Fundamentals of Robotic Mechanical Systems
Fundamentals of Robotic Mechanical Systems, Third Edition addresses robots at large - such as multi-fingered hands, walking ...
اقرأ المزيد
Fundamentals of Structural Dynamics : Theory and Computation / Keith D. Hjelmstad
Closes the gap between traditional textbooks on structural dynamics and how structural dynamics is practiced in a world driven ...
اقرأ المزيد
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
اقرأ المزيد
