Mathematical theory of computation books

This concise, accessible introduction to quantum computing is aimed at advanced undergraduate and beginning graduate...  Read More >>

 Read More >>

Deals with the progress made in solving propositional satisfiability and related problems.  Read More >>

Viele sehr wichtige kombinatorische Optimierungsprobleme haben sich als schwierig exakt lösbar herausgestellt, weshalb...  Read More >>

Self-Organizing Natural Intelligence brings new scientific methods to intelligence research that is currently under...  Read More >>

A title that is dedicated to the monumental life, work and creative genius of Zdzislaw Pawlak, the originator of...  Read More >>

During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which...  Read More >>

Ontologies have received much attention within computer science and related disciplines, most often as the semantic...  Read More >>

Constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked...  Read More >>

Constitutes the proceedings of the Second International Conference on Natural Computation, ICNC 2006.  Read More >>

Constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. This...  Read More >>

Covers the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC...  Read More >>

Constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing,...  Read More >>

Constitutes the refereed proceedings of the 16th International Conference on Artificial Neural Networks, ICANN 2006....  Read More >>

Based on lectures given at the CBMS Workshop on the Combinatorics of Large Sparse Graphs, this work presents fresh...  Read More >>

Presents applications of the following paradigm: design a probabilistic algorithm for a given problem; then, show...  Read More >>

Zero-knowledge proofs are fascinating and extremely useful constructs. A fundamental question regarding zero-knowledge...  Read More >>

Shall we be destined to the days of eternity, on holy-days,as well as working days, to be shewing the RELICKS OF...  Read More >>

A software that lets students see and manipulate data in clear graphic form. It helps students access readily available...  Read More >>

Constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer...  Read More >>

Information security experts in industry can use the book as a guide for understanding what is needed to implement...  Read More >>

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren...  Read More >>

The main problems in modeling networks are that models are usually too large to be handled by a computer system,...  Read More >>

This classic book on formal languages, automata theory, and computational complexity has been updated to present...  Read More >>

Contains a collection of papers that brings together fundamental research in Radon transforms, integral geometry,...  Read More >>