Mathematical theory of computation books

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is...  Read More >>

In the applications part a number of representative examples of really using CA in a broad range of disciplines...  Read More >>

Constitutes the proceedings of the 5th International Conference on Hybrid Artificial Intelligent Systems, held in...  Read More >>

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events...  Read More >>

Presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International...  Read More >>

Constitutes the proceedings of the 5th International Conference on Hybrid Artificial Intelligent Systems, held in...  Read More >>

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and...  Read More >>

Modelling for Business Improvement contains the proceedings of the First International Conference on Process Modelling...  Read More >>

Constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets...  Read More >>

Constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing,...  Read More >>

ACNS was initiated in 2003, and there has been a steady improvement in the quality of its program over the past...  Read More >>

The paper topics spanned a wide variety and include: – Solutions of transcendental equations – Volume parameterization...  Read More >>

Constitutes the proceedings of the 12th International Scandinavian Workshop on Algorithm Theory, held in Bergen,...  Read More >>

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development...  Read More >>

This book captures and communicates the wealth of architecture experience Capgemini has gathered as a member of...  Read More >>

The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and...  Read More >>

Constitutes the refereed proceedings of the 15th Australasian Conference on Information Security and Privacy, ACISP...  Read More >>

Restart indicates the pure system restart, rejuvenation denotes the restart of the operating environment of a task,...  Read More >>

 Read More >>

Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages,...  Read More >>

Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan,...  Read More >>

Thus IPCO was born, and MPS has sponsored the conference as one of its main events since IPCO I at the University...  Read More >>

Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques...  Read More >>

The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS...  Read More >>

Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction,...  Read More >>