Filter by
Debug Automation from Pre-Silicon to Post-Silicon
This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system. The authors employ a transaction-based debug approach to systems at the transaction-level, asserting the correct relation of transactions. The automated debug approach for design bugs finds the potential fault candidates at RTL and gate-level of a cir…
- Edition
- -
- ISBN/ISSN
- 9783319093093
- Collation
- 180 pages
- Series Title
- -
- Call Number
- 629.231
On Shear Behavior of Structural Elements Made of Steel Fiber Reinforced Concrete
This book sheds light on the shear behavior of Fiber Reinforced Concrete (FRC) elements, presenting a thorough analysis of the most important studies in the field and highlighting their shortcomings and issues that have been neglected to date. Instead of proposing a new formula, which would add to an already long list, it instead focuses on existing design codes. Based on a comparison of experi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13685-1
- Collation
- XX, 209
- Series Title
- Springer Theses
- Call Number
- -
Numerical Methods and Applications:8th International Conference, NMA 2014, Bo…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15584-5
- Collation
- XII, 313
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Numerical Approximation of the Magnetoquasistatic Model with Uncertainties:Ap…
This book presents a comprehensive mathematical approach for solving stochastic magnetic field problems. It discusses variability in material properties and geometry, with an emphasis on the preservation of structural physical and mathematical properties. It especially addresses uncertainties in the computer simulation of magnetic fields originating from the manufacturing process. Uncertainties…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-41293-1
- Collation
- XXII, 114
- Series Title
- Springer Theses
- Call Number
- -
Nonlinear Vibration with Control: For Flexible and Adaptive Structures
This book provides a comprehensive discussion of nonlinear multi-modal structural vibration problems, and shows how vibration suppression can be applied to such systems by considering a sample set of relevant control techniques. It covers the basic principles of nonlinear vibrations that occur in flexible and/or adaptive structures, with an emphasis on engineering analysis and relevant control …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10643-4
- Collation
- XI, 453
- Series Title
- Solid Mechanics and Its Applications
- Call Number
- -
Finite Element Analysis on Badminton Racket Design Parameters
This work identifies the characteristics of racket design parameters that influence racket performance. It presents the finite element analysis of several designs of badminton rackets and compares them to experimental results for validation. Designing a racket requires a comprehensive understanding of racket performance characteristics. Essentially, racket performance is related to the sweet s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21735-2
- Collation
- VIII, 47
- Series Title
- SpringerBriefs in Applied Sciences and Technology
- Call Number
- -
Non-functional Requirements in Systems Analysis and Design
This book will help readers gain a solid understanding of non-functional requirements inherent in systems design endeavors. It contains essential information for those who design, use and maintain complex engineered systems, including experienced designers, teachers of design, system stakeholders and practicing engineers. Coverage approaches non-functional requirements in a novel way by pres…
- Edition
- 1
- ISBN/ISSN
- 1566-0443
- Collation
- XXIV, 264
- Series Title
- Topics in Safety, Risk, Reliability and Quality
- Call Number
- -
The Rediscovery of Synchronous Reluctance and Ferrite Permanent Magnet Motors
This book offers an essential compendium on the analysis and design of synchronous motors for variable-speed applications. Focusing on synchronous reluctance and ferrite permanent-magnet (PM) synchronous reluctance machines, it provides a broad perspective on three-phase machines for variable speed applications, a field currently dominated by asynchronous machines and rare-earth PM synchronous …
- Edition
- -
- ISBN/ISSN
- 978-3-319-32202-5
- Collation
- VIII, 136
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- -
Design of Canals
The book presents firsthand material from the authors on design of hydraulic canals. The book discusses elements of design based on principles of hydraulic flow through canals. It covers optimization of design based on usage requirements and economic constraints. The book includes explicit design equations and design procedures along with design examples for varied cases. With its comprehensive…
- Edition
- -
- ISBN/ISSN
- 9788132223221
- Collation
- xi, 183 pages
- Series Title
- -
- Call Number
- 627.13
Android Studio New Media Fundamentals: Content Production of Digital Audio/Vi…
This book is a brief primer covering concepts central to digital imagery, digital audio and digital illustration using open source software packages such as GIMP, Audacity and Inkscape. These are used for this book because they are free for commercial use. The book builds on the foundational concepts of raster, vector and waves (audio), and gets more advanced as chapters progress, covering what…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-9867-1
- Collation
- XIII, 142
- Series Title
- -
- Call Number
- 003.5 JAC a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography