Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Yakovyna, Vitaliy (Editor), Mayr, Heinrich C. (Editor), Nikitchenko, Mykola (Editor), Zholtkevych, Grygoriy (Editor), Spivakovsky, Aleksander (Editor), Batsakis, Sotiris (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Edition: 1st ed. 2016.
• Series: Communications in Computer and Information Science, 594
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Education > Data processing.; Computer Science.; Computers and Education.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.
• Physical Description: XI, 157 p. 44 illus. in color. online resource.
• ISBN: 9783319302461
• ISSN: 1865-0929 ;

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015. The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and industrial applications, and formal frameworks. .