This book constitutes the revised selected papers of the 10th International Symposium on Formal A...

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical...

This book constitutes the refereed proceedings of six workshops of the 14th International Confere...

This volume contains lectures on leading-edge research in methods and tools for use in computer ...

This book constitutes the refereed proceedings of the 5th International School on Engineering Tru...

This volume contains the lecture notes of the five coursesand one seminar given at the School on ...

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software En...

This book constitutes the proceedings of the 7th International Symposium on Automated Technology ...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

This volume contains a record of some of the lectures and seminars delivered at the Third Interna...

This book constitutes the refereed proceedings of the First International Symposium on Dependable...

This book presents thoroughly revised tutorial papers based on lectures given by leading research...

This volume contains a record of some of the lectures and seminars delivered at the Second Intern...

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engi...

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects...

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engin...

This book constitutes the thoroughly refereed proceedings of the First International Symposium on...

The range of components technology is both wide and diverse, but some common understanding is eme...