Electronic Books

Total Books: 41 - 60 /269

This book details a systematic characteristics-based finite element procedure to investigate incompressible, free-surface ...

Many group theorists all over the world have been trying in the last twenty-five years to extend and adapt the magnificent ...

This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...

This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...

This volume contains refereed papers devotedtocodingandcrypto graphy.These papers arethe full versionsof a selectionof the ...

Compatible spatial discretizations are those that inherit or mimic fundamental properties of the PDE such as topology, conservation, ...

Compatible spatial discretizations are those that inherit or mimic fundamental properties of the PDE such as topology, conservation, ...

The book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced ...

Among numerical methods applied in acoustics, the Finite Element Method (FEM) is normally favored for interior problems ...

This is the second edition of the valuable reference source for numerical simulations of contact mechanics suitable for many ...

Computational Electromagnetics is a young and growing discipline, expanding as a result of the steadily increasing demand ...

This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering ...

The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...

This book performs a state-of-the-art finite-difference calculation of the complete geometry of the classical guitar as a ...

Computational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale ...

The fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying ...

This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Total Books: 41 - 60 /269