03883nam 22006975 450 991073945080332120201107205600.03-319-03998-910.1007/978-3-319-03998-5(CKB)3710000000078802(DE-He213)978-3-319-03998-5(SSID)ssj0001088545(PQKBManifestationID)11616440(PQKBTitleCode)TC0001088545(PQKBWorkID)11095352(PQKB)11507278(MiAaPQ)EBC3092029(PPN)176108912(EXLCZ)99371000000007880220131212d2013 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierInformation and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych1st ed. 2013.Cham :Springer International Publishing :Imprint: Springer,2013.1 online resource (XII, 379 p. 89 illus.)Communications in Computer and Information Science,1865-0929 ;412Bibliographic Level Mode of Issuance: Monograph3-319-03997-0 Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification.This 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.Communications in Computer and Information Science,1865-0929 ;412Education—Data processingSoftware engineeringComputer logicArtificial intelligenceComputers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Education—Data processing.Software engineering.Computer logic.Artificial intelligence.Computers and Education.Software Engineering.Logics and Meanings of Programs.Artificial Intelligence.374.26Ermolayev Vadimedthttp://id.loc.gov/vocabulary/relators/edtMayr Heinrich Cedthttp://id.loc.gov/vocabulary/relators/edtNikitchenko Mykolaedthttp://id.loc.gov/vocabulary/relators/edtSpivakovsky Aleksanderedthttp://id.loc.gov/vocabulary/relators/edtZholtkevych Grygoriyedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910739450803321Information and Communication Technologies in Education, Research, and Industrial Applications2965753UNINA