000 03043nam a22005777a 4500
001 sulb-eb0023521
003 BD-SySUS
005 20160413122355.0
007 cr nn 008mamaa
008 131212s2013 gw | s |||| 0|eng d
020 _a9783319039985
_9978-3-319-03998-5
024 7 _a10.1007/978-3-319-03998-5
_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] :
_b9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
_cedited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2013.
300 _aXII, 379 p. 89 illus.
_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 ;
_v412
505 0 _aSystems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification.
520 _aThis book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. The 18 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer logic.
650 0 _aArtificial intelligence.
650 0 _aEducation
_xData processing.
650 1 4 _aComputer Science.
650 2 4 _aComputers and Education.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aErmolayev, Vadim.
_eeditor.
700 1 _aMayr, Heinrich C.
_eeditor.
700 1 _aNikitchenko, Mykola.
_eeditor.
700 1 _aSpivakovsky, Aleksander.
_eeditor.
700 1 _aZholtkevych, Grygoriy.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319039978
830 0 _aCommunications in Computer and Information Science,
_x1865-0929 ;
_v412
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-03998-5
912 _aZDB-2-SCS
942 _2Dewey Decimal Classification
_ceBooks
999 _c45613
_d45613