Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / [electronic resource] :
edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis.
- 1st ed. 2016.
- XI, 157 p. 44 illus. in color. online resource.
- Communications in Computer and Information Science, 594 1865-0929 ; .
- Communications in Computer and Information Science, 594 .
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. .
9783319302461
10.1007/978-3-319-30246-1 doi
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.
LB1028.43-1028.75
374.26
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. .
9783319302461
10.1007/978-3-319-30246-1 doi
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.
LB1028.43-1028.75
374.26