This book presents in their basic form the most important models of computation, their basic prog...
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy ...
This book presents in their basic form the most important models of computation, their basic prog...