Electronic Books

Total Books: 161 - 180 /804

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...

The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...

This textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume ...

Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...

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 undertakes a historical analysis of the development of two mathematical ...

Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...

Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...

Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...

Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities ...

This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve ...

This volume represents a broad survey of current research in the fields of nonlinear analysis and nonlinear differential ...

This volume represents a broad survey of current research in the fields of nonlinear analysis and nonlinear differential ...

This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...

This volume is dedicated to the fundamentals of convex functional analysis. It presents those aspects of functional analysis ...

Total Books: 161 - 180 /804