|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910255001903321 |
|
|
Titolo |
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / / edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 157 p. 44 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0929 ; ; 594 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Education—Data processing |
Computer logic |
Software engineering |
Artificial intelligence |
Programming languages (Electronic computers) |
Mathematical logic |
Computers and Education |
Logics and Meanings of Programs |
Software Engineering |
Artificial Intelligence |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Sommario/riassunto |
|
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. . |
|
|
|
|
|
| |