A state of the art research monograph that develops the specific and increasingly important area ...

The application of formal methods to security protocol analysis has attracted increasing attentio...

Due to the popularity of knowledge discovery and data mining, in practice as well as among academ...

This book constitutes the refereed proceedings of the 24th China Conference on Information Retrie...

This book constitutes the refereed proceedings of the 9th International Conference on Application...