Mathematical theory of computation books

 Read More >>

This volume covers the latest developments in the field, with in-depth reviews of upcoming research aimed at resolving...  Read More >>

Leo Esakia on Duality in Modal and Intuitionistic Logics  Read More >>

This volume contains thirteen articles on advances in applied mathematics and computing methods for engineering...  Read More >>

 Read More >>

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of...  Read More >>

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

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences,...  Read More >>

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering,...  Read More >>

This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic...  Read More >>

This book is an accessible guide to adaptive signal processing methods that equips the reader with advanced theoretical...  Read More >>

This book is devoted to the analysis of measurement signals which requires specific mathematical operations like...  Read More >>

High-Performance Computing using FPGA covers the area of high performance reconfigurable computing (HPRC). The Part...  Read More >>

Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials...  Read More >>

Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials...  Read More >>

This book presents a collection of state of the art research on GPU Computing and Application. The major part of...  Read More >>

Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based...  Read More >>

 Read More >>

The calculation of channel capacities was one of Rudolf Ahlswede's specialties and is the main topic of this second...  Read More >>

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013...  Read More >>

 Read More >>

The increasing complexity of telecommunication networks requires us to develop adequate mathematical models. The...  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 proceedings of the 14th International Symposium on Automated Technology for Verification...  Read More >>

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing,...  Read More >>