TY - BOOK AU - Ermolayev,Vadim AU - Mayr,Heinrich C. AU - Nikitchenko,Mykola AU - Spivakovsky,Aleksander AU - Zholtkevych,Grygoriy ED - SpringerLink (Online service) TI - Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers T2 - Communications in Computer and Information Science, SN - 9783319039985 AV - LB1028.43-1028.75 U1 - 374.26 23 PY - 2013/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer science KW - Software engineering KW - Computer logic KW - Artificial intelligence KW - Education KW - Data processing KW - Computer Science KW - Computers and Education KW - Software Engineering KW - Logics and Meanings of Programs KW - Artificial Intelligence (incl. Robotics) N1 - Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification N2 - This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. The 18 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification UR - http://dx.doi.org/10.1007/978-3-319-03998-5 ER -