Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Continue reading
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Continue reading
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Continue reading
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Continue reading
Algorithms – ESA 2005
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual ...
Continue reading
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Continue reading
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Continue reading
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Continue reading
DNA Computing (vol. # 3892)
It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, ...
Continue readingDigital Phase Lock Loops
This exciting new book covers various types of digital phase lock loops. It presents a comprehensive coverage of a new class ...
Continue reading
Elliptic Theory and Noncommutative Geometry : Nonlocal Elliptic Operators
This comprehensive yet concise book deals with nonlocal elliptic differential operators, whose coefficients involve shifts ...
Continue reading
Evolution, Monitoring and Predicting Models of Rockburst
This open access book focuses on investigating predicting precursor information and key points of rockburst in mining engineering ...
Continue reading
Experimental and Efficient Algorithms
This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...
Continue reading
Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Continue reading
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Continue reading
Guide to RISC Processors
This guidebook provides an accessible and all-encompassing compendium on RISC processors, introducing five RISC processors: ...
Continue reading
Handbook of Damage Mechanics : Nano to Macro Scale for Materials and Structures / George Z. Voyiadjis
A wide range of materials that engineers may encounter are covered, including metals, composites, ceramics, polymers, biomaterials, ...
Continue reading
