04357nam 22008655 450 991025500190332120200630083633.03-319-30246-910.1007/978-3-319-30246-1(CKB)3710000000602260(SSID)ssj0001656812(PQKBManifestationID)16437465(PQKBTitleCode)TC0001656812(PQKBWorkID)14987824(PQKB)10778915(DE-He213)978-3-319-30246-1(MiAaPQ)EBC6301218(MiAaPQ)EBC5577731(Au-PeEL)EBL5577731(OCoLC)942042555(PPN)192222732(EXLCZ)99371000000060226020160226d2016 u| 0engurnn#008mamaatxtccrInformation 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 Batsakis1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XI, 157 p. 44 illus. in color.)Communications in Computer and Information Science,1865-0929 ;594Includes index.3-319-30245-0 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. .Communications in Computer and Information Science,1865-0929 ;594Education—Data processingComputer logicSoftware engineeringArtificial intelligenceProgramming languages (Electronic computers)Mathematical logicComputers and Educationhttps://scigraph.springernature.com/ontologies/product-market-codes/I24032Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Education—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.371.33Yakovyna Vitaliyedthttp://id.loc.gov/vocabulary/relators/edtMayr Heinrich Cedthttp://id.loc.gov/vocabulary/relators/edtNikitchenko Mykolaedthttp://id.loc.gov/vocabulary/relators/edtZholtkevych Grygoriyedthttp://id.loc.gov/vocabulary/relators/edtSpivakovsky Aleksanderedthttp://id.loc.gov/vocabulary/relators/edtBatsakis Sotirisedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910255001903321Information and Communication Technologies in Education, Research, and Industrial Applications2965753UNINA