The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lire la suiteThis book performs a state-of-the-art finite-difference calculation of the complete geometry of the classical guitar as a ...
Lire la suiteComputational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale ...
Lire la suiteThe fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying ...
Lire la suiteThis book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Lire la suitePossibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suiteOptimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
Lire la suiteConflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
Lire la suiteThe book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators ...
Lire la suiteThis volume presents a well balanced combination of state-of-the-art theoretical results in the field of nonlinear controller ...
Lire la suiteThis monograph presents new constructive design methods for boundary stabilization and boundary estimation for several classes ...
Lire la suiteConvex Polyhedra is one of the classics in geometry. There simply is no other book with so many of the aspects of the theory ...
Lire la suiteThis book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
Lire la suiteConstitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES ...
Lire la suiteModern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, ...
Lire la suite