LEADER 04357nam  22008655  450 
001 9910255001903321
005 20200630083633.0
010   $a3-319-30246-9
024 7 $a10.1007/978-3-319-30246-1
035   $a(CKB)3710000000602260
035   $a(SSID)ssj0001656812
035   $a(PQKBManifestationID)16437465
035   $a(PQKBTitleCode)TC0001656812
035   $a(PQKBWorkID)14987824
035   $a(PQKB)10778915
035   $a(DE-He213)978-3-319-30246-1
035   $a(MiAaPQ)EBC6301218
035   $a(MiAaPQ)EBC5577731
035   $a(Au-PeEL)EBL5577731
035   $a(OCoLC)942042555
035   $a(PPN)192222732
035   $a(EXLCZ)993710000000602260
100   $a20160226d2016      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aInformation and Communication Technologies in Education, Research, and Industrial Applications $e11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /$fedited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XI, 157 p. 44 illus. in color.)
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v594
300   $aIncludes index.
311   $a3-319-30245-0 
330   $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. .
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v594
606   $aEducation?Data processing
606   $aComputer logic
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputers and Education$3https://scigraph.springernature.com/ontologies/product-market-codes/I24032
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aEducation?Data processing.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aComputers and Education.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a371.33
702   $aYakovyna$b Vitaliy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMayr$b Heinrich C$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNikitchenko$b Mykola$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZholtkevych$b Grygoriy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSpivakovsky$b Aleksander$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBatsakis$b Sotiris$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910255001903321
996   $aInformation and Communication Technologies in Education, Research, and Industrial Applications$92965753
997   $aUNINA