Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Algebraic Foundations of Systems Specification

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Dynamics in Logistics: First International Conference, LDIC 2007, Bremen, Germany, August 2007. Proceedings

Dynamics in Logistics: Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings

Dynamics in Logistics: Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings

Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation: 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings

Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday