This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop ...
This book constitutes the refereed proceedings of the 4th International Conference on Business Pr...
This book constitutes the revised selected papers of the 10th International Symposium on Formal A...
A gentle introduction to category theory oriented to software engineering. Assuming only a minimu...
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3...
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop ...
A gentle introduction to category theory oriented to software engineering. Assuming only a minimu...