for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.
This bookconstitutes revised selected papers from the International Conference... Læs mere
This book constitutes the refereed proceedings of the 12th International... Læs mere
This book constitutes the proceedings of the 5th International Conference on Mathematical Software,... Læs mere
This book constitutes the proceedings of the 19th International GI/ITG... Læs mere
This book constitutes the refereed proceedings of the 16th International... Læs mere
This volume contains the post-conference proceedings of the 10th Doctoral... Læs mere
The papers are organized along a set of thematic tracks: program analysis... Læs mere
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.