Self-aware Computing Systems An Engineering Approach

Representation Theorems in Computer Science A Treatment in Logic Engineering

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings

Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II