Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suite
Control of Singular Systems with Abrupt Changes
In this book many problems like stochastic stability, stochastic stabilization using state feedback control and static output ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lire la suite
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 ...
Lire la suite
Don’t Panic with Mechanics!
The ultimate companion in the classical horror discipline of engineering science! Contents of the book are the basics of ...
Lire la suite
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 ...
Lire la suite
Electromagnetic Field Theory for Engineers and Physicists
This established, didactically excellent textbook unifies intuitiveness with extraordinary precision of its terminology and ...
Lire la suite
Electrostatic Accelerators
Electrostatic accelerators are an important and widespread subgroup within the broad spectrum of modern, large particle acceleration ...
Lire la suite
Engineering Mechanics
This is the first of two volumes introducing structural and continuum mechanics in a comprehensive and consistent way. The ...
Lire la suite
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. ...
Lire la suite
Esercizi di Fisica: Meccanica e Termodinamica
La risoluzione di esercizi rappresenta uno strumento indispensabile per raggiungere una comprensione sicura e approfondita ...
Lire la suite
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, ...
Lire la suite
Field Models in Electricity and Magnetism
Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...
Lire la suite
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 ...
Lire la suiteFluid and thermodynamics ; Volume 1: basic fluid mechanics
Simple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
Lire la suite
Fundamentals of Robotic Mechanical Systems
Fundamentals of Robotic Mechanical Systems, Third Edition addresses robots at large - such as multi-fingered hands, walking ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
