Yulia Tarasich

ICTERI 2021 Workshops

ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28–October 2, 2021, Proceedings

This book contains the workshops papers presented at the 17th International Conference on Information and Communication Technologies in Education, Res...

Information and Communication Technologies in Education, Research, and Industrial Applications

11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Educat...

Information and Communication Technologies in Education, Research, and Industrial Applications

10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Educat...

Principles of Abstract Interpretation

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer ...