This book constitutes the refereed proceedings of the 9th International Conference on Application...
This book is organized into thirteen chapters that range over the relevant approaches and tools i...
The present volume arose from the need for a comprehensive coverage of the state of the art in se...
This book offers an essential introduction to the theoretical and practical aspects of associatio...
The application of formal methods to security protocol analysis has attracted increasing attentio...
This book constitutes the refereed proceedings of the 9th International Conference on Applicat...
Advances in experimental technologies have given rise to tremendous amounts of biology data. This...
This book is organized into thirteen chapters that range over the relevant approaches and tools i...
This book offers an essential introduction to the theoretical and practical aspects of associatio...