Mathematical theory of computation books

Anwender, die mit Hilfe statistischer Verfahren experimentell ermittelte Resultate auswerten und grafisch darstellen...  Read More >>

Surveying the mathematics of Galerkin finite element method as applied to parabolic equations, this textbook's approach...  Read More >>

This work constitutes the proceedings of the sixth International Conference on Algebraic and Logic Programming and...  Read More >>

This volume begins with basic programming concepts and techniques, then focuses more particularly on information...  Read More >>

Evolutionary Learning Algorithms for Neural Adaptive Control is an advanced textbook, which investigates how neural...  Read More >>

The papers cover the whole range of theoretical computer science including programming theory, complexity theory,...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher...  Read More >>

This should be of interest to researchers in universities, research centres and industries who are involved in measurements...  Read More >>

The proceedings of the Third Annual International Conference on Computing and Combinatorics, COCOON '97. The papers...  Read More >>

Automated Information Retrieval describes an automated Boolean System and provides attention to theoretical problems...  Read More >>

Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht's...  Read More >>

This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures,...  Read More >>

Presents applied mathematical tools for bridging the gap between real-world measurements and mathematical models....  Read More >>

This book develops algorithms for processing multi-dimensional digital signals -- particularly, algorithms for multi-dimensional...  Read More >>

 Read More >>

The latest work on formal methods in computer science by the world's leading experts is presented in this volume,...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation...  Read More >>

Medizinische Expertensysteme als moderne Entwicklung diagno- se- und therapieunterstützender Verfahren erbringen...  Read More >>

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming,...  Read More >>

Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in...  Read More >>

This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching,...  Read More >>

This book constitutes the strictly refereed proceedings of the 12th International Symposium on Applied Algebra,...  Read More >>

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

Readers of Complexity Theory Retrospective (published by Springer-Verlag in 1990) will remember that the collection...  Read More >>