Foundations of Information Technology in the Era of Network and Mobile Computing is presented in ...

The collection of papers published in this book was initially presented at the Workshop on Softwa...

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency...

A double-pronged approach makes this book an extremely useful addition to the literature on this ...

This book constitutes the thoroughly refereed post-conference proceedings of the 19th Internation...

Models and equality for logical programming.- Fifth generation computer project: Current research...

Foundations of Information Technology in the Era of Network and Mobile Computing is presented in ...

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustwo...

By presenting state-of-the-art research results on various aspects of formal and visual modeling ...

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...

This book constitutes the proceedings of the First International Conference on Principles and Pra...

This book presents in their basic form the most important models of computation, their basic prog...