000			03004nam a22006375i 4500
001			978-3-319-30246-1
003			DE-He213
005			20200421112555.0
007			cr nn 008mamaa
008			160226s2016 gw | s |||| 0|eng d
020			_a9783319302461 _9978-3-319-30246-1
024	7		_a10.1007/978-3-319-30246-1 _2doi
050		4	_aLB1028.43-1028.75
072		7	_aJNV _2bicssc
072		7	_aEDU039000 _2bisacsh
072		7	_aCOM023000 _2bisacsh
082	0	4	_a374.26 _223
245	1	0	_aInformation and Communication Technologies in Education, Research, and Industrial Applications _h[electronic resource] : _b11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / _cedited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis.
250			_a1st ed. 2016.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016.
300			_aXI, 157 p. 44 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aCommunications in Computer and Information Science, _x1865-0929 ; _v594
520			_aThis 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. .
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aProgramming languages (Electronic computers).
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aArtificial intelligence.
650		0	_aEducation _xData processing.
650	1	4	_aComputer Science.
650	2	4	_aComputers and Education.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aSoftware Engineering.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aYakovyna, Vitaliy. _eeditor.
700	1		_aMayr, Heinrich C. _eeditor.
700	1		_aNikitchenko, Mykola. _eeditor.
700	1		_aZholtkevych, Grygoriy. _eeditor.
700	1		_aSpivakovsky, Aleksander. _eeditor.
700	1		_aBatsakis, Sotiris. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783319302454
830		0	_aCommunications in Computer and Information Science, _x1865-0929 ; _v594
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-30246-1
912			_aZDB-2-SCS
942			_cEBK
999			_c59100 _d59100