Electronic Books

Total Books: 21 - 40 /93

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. ...

Total Books: 21 - 40 /93