Introduction to Linear Elasticity, 3rd Edition provides an applications-oriented grounding in the tensor-based theory of elasticity for students in mechanical, civil, aeronautical, biomedical engineering, as well as materials and earth science. The book is distinct from the traditional text aimed at graduate students in solid mechanics...

Structural Analysis with Finite Elements, 2^nd Edition provides a solid introduction to the foundation and the application of the finite element method in structural analysis. It offers new theoretical insight and practical advice on why finite element results are 'wrong,' why support reactions are relatively accurate, why stresses at...

The use of symbol sequences to study dynamical systems originates in the work of Kocbe [Koc27, Koe29] and Morse [Mor87j, who both used symbol saliences to code geodesies on a...

". . . carefully structured with many detailed workedexamples."—The...

The finite element method (FEM) is a computational technique for solving problems which are described by partial differential equations or which can be formulated as functional minimization. The FEM is commonly used in the design and development of products, especially where structural analysis is involved. The simple object model of the...

Combinatorial Methods with Computer Applications provides in-depth coverage of recurrences, generating functions, partitions, and permutations, along with some of the most interesting graph and network topics, design constructions, and finite geometries. Requiring only a foundation in discrete mathematics, it can serve as the...

This book concerns the practical solution of Partial Differential Equations (PDE). It reflects an interdisciplinary approach to problems occurring in natural Environmental Phenomena: the hydrosphere, atmosphere, cryosphere, lithosphere, biosphere and ionosphere. It assumes the reader has gained some intuitive knowledge of their solution...

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...