Electronic Books

Total Books: 21 - 40 /93
978-3-319-96145-3
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-319-96142-2
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Continue reading
978-3-540-74345-3
Control of Singular Systems with Abrupt Changes

In this book many problems like stochastic stability, stochastic stabilization using state feedback control and static output ...

Continue reading
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Continue reading
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Continue reading
9780367730550
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 ...

Continue reading
978-3-8348-9115-0
Don’t Panic with Mechanics!

The ultimate companion in the classical horror discipline of engineering science! Contents of the book are the basics of ...

Continue reading
978-1-4020-8301-3
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 ...

Continue reading
978-3-540-76306-2
Electromagnetic Field Theory for Engineers and Physicists

This established, didactically excellent textbook unifies intuitiveness with extraordinary precision of its terminology and ...

Continue reading
978-3-540-27095-9
Electrostatic Accelerators

Electrostatic accelerators are an important and widespread subgroup within the broad spectrum of modern, large particle acceleration ...

Continue reading
978-1-4020-5483-9
Engineering Mechanics

This is the first of two volumes introducing structural and continuum mechanics in a comprehensive and consistent way. The ...

Continue reading
9780367561062
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. ...

Continue reading
978-88-470-0405-4
Esercizi di Fisica: Meccanica e Termodinamica

La risoluzione di esercizi rappresenta uno strumento indispensabile per raggiungere una comprensione sicura e approfondita ...

Continue reading
978-0-387-28487-3
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, ...

Continue reading
978-1-4020-6843-0
Field Models in Electricity and Magnetism

Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...

Continue reading
978-3-540-71343-2
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-0-387-34580-2
Fundamentals of Robotic Mechanical Systems

Fundamentals of Robotic Mechanical Systems, Third Edition addresses robots at large - such as multi-fingered hands, walking ...

Continue reading
978-3-030-89944-8
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 ...

Continue reading
978-3-540-77966-7
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. ...

Continue reading
Total Books: 21 - 40 /93