Mathematical theory of computation books

The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis,...  Read More >>

This book describes a novel methodology for studying algorithmic skills, intended as cognitive activities related...  Read More >>

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments...  Read More >>

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

This book constitutes revised selected papers from the 4th ECML PKDD Workshop on Data Analytics for Renewable Energy...  Read More >>

 Read More >>

 Read More >>

 Read More >>

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains,...  Read More >>

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory...  Read More >>

 Read More >>

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed...  Read More >>

The two-volume set, CCIS 681 and CCIS 682, constitutes the proceedings of the 11th International Conference on Bio-Inspired...  Read More >>

The two-volume set, CCIS 681 and CCIS 682, constitutes the proceedings of the 11th International Conference on Bio-Inspired...  Read More >>

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

This book compares the performance of various evolutionary computation (EC) techniques when they are faced with...  Read More >>

Creativity in Computing and DataFlow Supercomputing, the latest release in the Advances in Computers series published...  Read More >>

This book gathers the peer-reviewed and revised versions of papers from the Seventh International Conference on...  Read More >>

This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS),...  Read More >>

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational...  Read More >>

This textbook on practical data analytics unites fundamental principles, algorithms, and data. Algorithms are the...  Read More >>

This new edition includes the latest advances and developments in computational probability involving A Probability...  Read More >>

Dieses Buch stellt mit möglichst wenig mathematischen Hilfsmitteln die wesentlichen Grundbegriffe und Konzepte der...  Read More >>

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming...  Read More >>

 Read More >>