This book constitutes the proceedings of the 14th International Conference on Veri¿cation and Eva...

This book constitutes the refereed proceedings of the 17th International Symposium on Automated T...

This book constitutes the proceedings of the 17th International Conference on Advanced Data Minin...

This book constitutes the proceedings of the 17th International Conference on Advanced Data Minin...

This is the first and only book in English on modern Chinese Buddhism written by a practicing Chi...

This book explores robust multimodal cognitive load measurement with physiological and behavioura...

Unlike many studies of social attitudes, which are based on large scale quantitative surveys, or ...

Unlike many studies of social attitudes, which are based on large scale quantitative surveys, or ...

This book explores robust multimodal cognitive load measurement with physiological and behavioura...

This book constitutes the proceedings of the 27th International Conference on Verification, Model...