Mathematical theory of computation books

Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments,...  Read More >>

 Read More >>

Constitutes the thoroughly refereed post-conference proceedings of the Sixth International Meeting on Computational...  Read More >>

It also provides an overview of the testing process, and of the types (functional, structural, and so on)anddimensions(unit,integration,andsoon)ofthetestingactivity.Themain...  Read More >>

Many novel application scenarios and architectures in business process management or service composition are characterized...  Read More >>

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to...  Read More >>

The papers selected in this volume address these emerging e-business issues and have been organized into three research...  Read More >>

Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language,...  Read More >>

Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP...  Read More >>

Constitutes the refereed proceedings of the 30th Annual International Cryptology Conference, CRYPTO 2010, held in...  Read More >>

Constitutes the refereed proceedings of the 12th International Workshop on Cryptographic Hardware and Embedded Systems,...  Read More >>

It is our great pleasure to present the proceedings of the second Russia–Taiwan Symposium on Methods and Tools of...  Read More >>

This book is devoted to one of the essential functions of modern telecommunications systems: channel coding or error...  Read More >>

Constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language...  Read More >>

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent...  Read More >>

Optimization is a field important in its own right but is also integral to numerous applied sciences, including...  Read More >>

In today’s competitive and highly dynamic environment, organizations need new so- tions to enable them to solve...  Read More >>

Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held...  Read More >>

Constitutes the refereed proceedings of the 5th Annual International Conference on Wireless Algorithms, Systems,...  Read More >>

The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland,...  Read More >>

Focusing on fundamental aspects of numerical methods for stochastic computations, this book describes the class...  Read More >>

The fourth edition of this standard textbook of modern graph theory has been revised, updated, and substantially...  Read More >>

Discrete Mathematics and theoretical computer science are closely linked research areas with strong impacts on applications...  Read More >>

 Read More >>

Important aspects of social networking analysis are covered in this work by combining experimental and theoretical...  Read More >>