This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...

The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...

This book constitutes the refereed proceedings of the 11th International Symposium on Automated T...

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Softwar...

The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...

Uncertainty management and decision support.- Clustering and classification.- Machine learning ap...

Invited Talks.- Graph Analytics.- A distributed and trusted web of formal proofs.- Prosperos Book...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated T...