Mathematical theory of computation books

This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages,...  Read More >>

This book constitutes the refereed proceedings of the 18th International...  Read More >>

Constitutes the refereed proceedings of the 5th International Workshop on OpenMP, IWOMP 2009, held in Dresden, Germany...  Read More >>

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented...  Read More >>

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods...  Read More >>

This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic...  Read More >>

Constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms,...  Read More >>

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

The mathematical theory of control became a ?eld of study half a century ago in attempts to clarify and organize...  Read More >>

The problem of counting the number of self-avoiding polygons on a square grid, - therbytheirperimeterortheirenclosedarea,is...  Read More >>

This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15...  Read More >>

Constitutes the refereed proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques...  Read More >>

Since the discovery that Artin's braid groups enjoy a left-invariant linear ordering, several quite different approaches...  Read More >>

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

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation...  Read More >>

Shannon’s theory has also attractedmuch interest in a more philosophic look at information, although it was readily...  Read More >>

The objective of these workshops is to specifically address researchers coming from university, industry and governmental...  Read More >>

 Read More >>

Suitable for researchers at industrial laboratories, teachers and students at technical universities, in electrical...  Read More >>

Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages...  Read More >>

This book contains extended and revised versions of the best papers that were presented during the fifteenth edition...  Read More >>

Contains sections that range from coordination to organization, from organization to coordination, formalization...  Read More >>

 Read More >>

After all, we have had to acknowledge that after tremendous advances in areas like neural networks, computational...  Read More >>