Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيد
Conception optimale de structures = Optimal structural design
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
اقرأ المزيد
Conflicts Between Generalization, Rigor, and Intuition
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
اقرأ المزيد
Convex Polyhedra
Convex Polyhedra is one of the classics in geometry. There simply is no other book with so many of the aspects of the theory ...
اقرأ المزيد
Cryptographic Algorithms on Reconfigurable Hardware
This book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
اقرأ المزيد
Cryptographic Hardware and Embedded Systems - CHES 2005
Constitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES ...
اقرأ المزيد
Cryptography Arithmetic : Algorithms and Hardware Architectures
Modern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, ...
اقرأ المزيد
Delay Differential Equations and Applications
This Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
اقرأ المزيد
Delay Differential Equations and Applications
This Edition includes detailed discussion and analysis on: General Results and Linear Theory of Delay Equations in Finite ...
اقرأ المزيدDemystifying Climate Models : A Users Guide to Earth System Models
This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how ...
اقرأ المزيد
Design of Adaptive Finite Element Software
During the last years, scientific computing has become an important research branch located between applied mathematics and ...
اقرأ المزيد
Difference Equations
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
Discontinuous Finite Elements in Fluid Dynamics and Heat Transfer offers its readers a systematic and practical introduction ...
اقرأ المزيد
Domain Decomposition Methods - Algorithms and Theory
This book offers a comprehensive presentation of some of the most successful and popular domain decomposition preconditioners ...
اقرأ المزيد
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Domain decomposition methods are divide and conquer methods for the parallel and computational solution of partial differential ...
اقرأ المزيد
Domain Decomposition Methods in Science and Engineering
Domain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis and implementation ...
اقرأ المزيد
