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