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

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

On the complexity of branching programs and decision trees for clique functions.- Average complex...

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

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

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

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

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

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...

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

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

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

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

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition ...

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, ...