This book constitutes the refereed proceedings of CVM 2012, the First International Conference on...

This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

This three-volume set LNCS 12888, 12898, and 12890 constitutes the refereed conference proceeding...

This three-volume set LNCS 12888, 12898, and 12890 constitutes the refereed conference proceeding...

This three-volume set LNCS 12888, 12898, and 12890 constitutes the refereed conference proceeding...

This book constitutes the proceedings of the CCF 18th International Conference on Computer-Aided ...