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

This volume contains papers selected from the contributionsto the 4thInternational Worksh...

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...

InhaltsangabeBasic foundations.- Models and logics.- Development concepts.- Support tools.- Appli...

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 moti...

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...