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