|
|
|
|
| LEADER |
03012nam a22005655i 4500 |
| 001 |
978-3-319-03998-5 |
| 003 |
DE-He213 |
| 005 |
20151111201653.0 |
| 007 |
cr nn 008mamaa |
| 008 |
131212s2013 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319039985
|9 978-3-319-03998-5
|
| 024 |
7 |
|
|a 10.1007/978-3-319-03998-5
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a LB1028.43-1028.75
|
| 072 |
|
7 |
|a JNV
|2 bicssc
|
| 072 |
|
7 |
|a EDU039000
|2 bisacsh
|
| 072 |
|
7 |
|a COM023000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 374.26
|2 23
|
| 245 |
1 |
0 |
|a Information and Communication Technologies in Education, Research, and Industrial Applications
|h [electronic resource] :
|b 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
|c edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2013.
|
| 300 |
|
|
|a XII, 379 p. 89 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 412
|
| 505 |
0 |
|
|a Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Education
|x Data processing.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Computers and Education.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 700 |
1 |
|
|a Ermolayev, Vadim.
|e editor.
|
| 700 |
1 |
|
|a Mayr, Heinrich C.
|e editor.
|
| 700 |
1 |
|
|a Nikitchenko, Mykola.
|e editor.
|
| 700 |
1 |
|
|a Spivakovsky, Aleksander.
|e editor.
|
| 700 |
1 |
|
|a Zholtkevych, Grygoriy.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319039978
|
| 830 |
|
0 |
|a Communications in Computer and Information Science,
|x 1865-0929 ;
|v 412
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-03998-5
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
