Mathematical theory of computation books

The book contains a selection of high quality papers, chosen among the best presentations during the International...  Read More >>

 Read More >>

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification...  Read More >>

 Read More >>

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Colloquium on...  Read More >>

This bookconstitutes the refereed proceedings of the Second International Conference onSecurity Standardisation...  Read More >>

 Read More >>

This work presents the Clifford-Cauchy-Dirac (CCD) technique for solving problems involving the scattering of electromagnetic...  Read More >>

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in...  Read More >>

This book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural...  Read More >>

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable...  Read More >>

This book covers core computational science concepts and techniques. It shows how to apply a model, select a numerical...  Read More >>

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge...  Read More >>

The Student Resource Manual by Warren S. Wright includes: a review of algebra, a review of complex numbers, and...  Read More >>

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS...  Read More >>

EACM is a comprehensive reference work covering the vast field of applied and computational mathematics. EACM emphasizes...  Read More >>

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its...  Read More >>

The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is...  Read More >>

 Read More >>

This volume contains, first of all, the papers presented at the Fourteenth International Workshop on Intuitionistic...  Read More >>

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber...  Read More >>

This unique textbook/reference presents unified coverage of bioinformatics topics relating to both biological sequences...  Read More >>

 Read More >>

Dieses Buch zeigt Ihnen, wie die grundlegenden Methoden der Statistik recht einfach mit Excel umsetzbar sind. Umfangreiche...  Read More >>