Electronic Books

Total Books: 161 - 180 /804

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 ...

Total Books: 161 - 180 /804