Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيدOptimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
اقرأ المزيدConflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
اقرأ المزيدConvex Polyhedra is one of the classics in geometry. There simply is no other book with so many of the aspects of the theory ...
اقرأ المزيدThis book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
اقرأ المزيدConstitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES ...
اقرأ المزيدModern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, ...
اقرأ المزيدThis Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
اقرأ المزيدThis Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
اقرأ المزيدThis book demystifies the models we use to simulate present and future climates, allowing readers to better understand how ...
اقرأ المزيدDuring the last years, scientific computing has become an important research branch located between applied mathematics and ...
اقرأ المزيدDifference equations are models of the world around us. From clocks to computers to chromosomes, processing discrete objects ...
اقرأ المزيدDiscontinuous Finite Elements in Fluid Dynamics and Heat Transfer offers its readers a systematic and practical introduction ...
اقرأ المزيدThis book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners ...
اقرأ المزيدDomain decomposition methods are divide and conquer methods for the parallel and computational solution of partial differential ...
اقرأ المزيدDomain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis and implementation ...
اقرأ المزيدNatural duality theory is one of the major growth areas within general algebra. This text provides a short path to the forefront ...
اقرأ المزيدReflects the latest application of structural dynamics theory to produce more optimal and economical structural designs. ...
اقرأ المزيدA new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite ...
اقرأ المزيد