TY  - BOOK
AU  - Yakovyna,Vitaliy
AU  - Mayr,Heinrich C.
AU  - Nikitchenko,Mykola
AU  - Zholtkevych,Grygoriy
AU  - Spivakovsky,Aleksander
AU  - Batsakis,Sotiris
ED  - SpringerLink (Online service)
TI  - Information and Communication Technologies in Education, Research, and Industrial Applications: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers 
T2  - Communications in Computer and Information Science,
SN  - 9783319302461
AV  - LB1028.43-1028.75 
U1  - 374.26 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Artificial intelligence
KW  - Education
KW  - Data processing
KW  - Computer Science
KW  - Computers and Education
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Artificial Intelligence (incl. Robotics)
KW  - Programming Languages, Compilers, Interpreters
KW  - Mathematical Logic and Formal Languages
N2  - 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
UR  - http://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-30246-1
ER  -