This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop ...

This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday....

This book presents a proposal for designing business process management (BPM) systems  that ...

This book provides the most complete formal specification of the semantics of the Business Proces...

This book describes the research of the authors over more than a decade on an end-to-end methodol...

This, the 30th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contain...

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd Inte...

This book constitutes the refereed proceedings of the 22 International Conference on Database and...

This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium pap...

This book constitutes the refereed proceedings of the 9th International Conference on Model and D...