Mathematical theory of computation books

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods...  Read More >>

This volume describes a ten-year investigation into the underlying principles of component-based software development...  Read More >>

r Contents 1 Introduction . 1 Motivation . 2 State of the art . 1 Operator supports . 2 Mainstream multivariate...  Read More >>

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Similarity Search and Applications,...  Read More >>

The two-volume set LNCS 8618 and 8619 constitutes the refereed proceedings of the 9th International Conference EuroHaptics...  Read More >>

A thorough analysis of the stability, accuracy, and complexity of the treated methods is given.Numerical Methods...  Read More >>

Preface to Second Edition Several new topics have been added, some small errors have been corrected and some new...  Read More >>

 Read More >>

Symplectic Partitioned Runge-Kutta methods for the numerical integration of periodic and oscillatory problems.Recent...  Read More >>

In January 2012 an Oberwolfach workshop took place on the topic of  recent developments in the numerics of partial...  Read More >>

The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for...  Read More >>

This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting...  Read More >>

This volume contains the articles presented at the 21st International Meshing Roundtable (IMR) organized, in part,...  Read More >>

Logic circuits are becoming increasingly susceptible to probabilistic behavior caused by external radiation and...  Read More >>

 Read More >>

Rooted in a pedagogically successful problem-solving approach to linear algebra, this work fills a gap in the literature...  Read More >>

This book constitutes the thoroughly refereed conference proceedings of the 9th International Conference on Rough...  Read More >>

In operations research and computer science it is common practice to evaluate the performance of optimization algorithms...  Read More >>

This overview of non-homogeneous and multidimensional Poisson point processes and their applications features mathematical...  Read More >>

 Read More >>

The proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing provide a technical...  Read More >>

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium...  Read More >>

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium...  Read More >>