Mathematical theory of computation books

This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases,...  Read More >>

This book constitutes the proceedings of the 10th International Workshop on Security, IWSEC 2015, held in Nara,...  Read More >>

This book constitutes the proceedings of the 4th International Conference on Biomimetic and Biohybrid Systems, Living...  Read More >>

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts,...  Read More >>

In der Arbeit von Daniel Lückehe wird ein neues hybrides Verfahren zur Dimensionsreduktion methodisch erarbeitet,...  Read More >>

This book presents core concepts and algorithms of distributed computing, covering distributed graph algorithms;...  Read More >>

Describes in detail the key algorithms needed for computing with spline functions and illustrates their use in solving...  Read More >>

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application...  Read More >>

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference...  Read More >>

This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular...  Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated...  Read More >>

This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations...  Read More >>

 Read More >>

 Read More >>

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation...  Read More >>

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof...  Read More >>

The Applied Mathematics, Modelling, and Computational Science (AMMCS) conference aims to promote interdisciplinary...  Read More >>

This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in...  Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which...  Read More >>

This book discusses recent developments in semigroup theory and its applications in areas such as operator algebras,...  Read More >>

This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing...  Read More >>

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial...  Read More >>

This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics,...  Read More >>

This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT...  Read More >>