This book constitutes the thoroughly refereed post-conference proceedings of the 20th Internation...

This volume contains selected papers from the 4th International Workshop on Graph Grammars and Th...

The volume comprises the proceedings of the third International Conference on Dynamics in Logisti...

The volume comprises the proceedings of the third International Conference on Dynamics in Logisti...

InhaltsangabeThe Role of Formal Specifications.- Algebraic Preliminaries.- From Total Equational ...

The volume comprises the proceedings of the second International Conference on Dynamics in Logist...

This book is an annotated bibliography providing an up-to-date overview of past and present work ...

InhaltsangabeInvited Papers.- Challenges in Design of Heterarchical Controls for Dynamic Logistic...

The volume comprises the proceedings of the second International Conference on Dynamics in Logist...

Theareaofgraphtransformationoriginatedinthelate1960sunderthename graph grammars - the main motiva...

By presenting state-of-the-art research results on various aspects of formal and visual modeling ...

Inhaltsangabe1: Themenbereich Softwaretechnik.- Die wissenschaftlichen Arbeiten von Reinhold Fran...