Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
اقرأ المزيد
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 : 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 ...
اقرأ المزيد
Computer Security – ESORICS 2006
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
اقرأ المزيد
Computing and Combinatorics (vol. # 3595)
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
اقرأ المزيد
Computing the Continuous Discretely : Integer-Point Enumeration in Polyhedra
This textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume ...
اقرأ المزيد
Conception optimale de structures = Optimal structural design
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
اقرأ المزيد
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
اقرأ المزيد
Conflicts Between Generalization, Rigor, and Intuition
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
اقرأ المزيد
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
اقرأ المزيد
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
اقرأ المزيد
Conjoint Measurement : Methods and Applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
اقرأ المزيد
Constrained Optimization and Image Space Analysis
Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities ...
اقرأ المزيد
Continuum Mechanics using Mathematica®
This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...
اقرأ المزيد
Contributions to Nonlinear Analysis
This volume represents a broad survey of current research in the fields of nonlinear analysis and nonlinear differential ...
اقرأ المزيد
Contributions to Nonlinear Analysis
This volume represents a broad survey of current research in the fields of nonlinear analysis and nonlinear differential ...
اقرأ المزيدContributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...
اقرأ المزيد
Convex Functional Analysis
This volume is dedicated to the fundamentals of convex functional analysis. It presents those aspects of functional analysis ...
اقرأ المزيد
