This book covers the recent applications of computational intelligence techniques in reliability engineering. This volume ...
Continue reading
The focus of this book is the development of computational methods and analytical models in financial engineering that rely ...
Continue reading
The fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying ...
Continue reading
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...
Continue reading
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue readingThis edited book collects a number of representative applications of computational techniques in textile and garment industry. ...
Continue reading
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Continue reading
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue reading
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue reading
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Continue reading
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue reading
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
Continue reading
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
Continue reading
This textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume ...
Continue reading
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives ...
Continue reading
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Continue reading
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
Continue reading
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Continue reading
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Continue reading
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
Continue reading