MARC record from Internet Archive

LEADER: 07866cam 2200997Ii 4500
001 ocn868638907
003 OCoLC
005 20220216170012.0
008 140121s2013 gw a ob 101 0 eng d
006 m o d
007 cr |||||||||||
040 $aDKDLA$beng$erda$epn$cDKDLA$dOCLCO$dSFB$dGZM$dGW5XE$dUKMGB$dOHS$dZMC$dOCLCO$dOCLCF$dCOO$dOCLCQ$dOCLCO$dYDXCP$dOCL$dOCLCO$dEBLCP$dOCLCQ$dOCLCO$dDIBIB$dOCLCO$dDGU$dZ5A$dOCLCO$dMERER$dOCLCO$dESU$dOCLCQ$dIOG$dOCLCO$dNJR$dOCLCO$dOCLCA$dMERUC$dOCLCO$dOCLCA$dCEF$dU3W$dAU@$dOCLCO$dOCLCQ$dWYU$dOCLCO$dOCLCA$dYOU$dTKN$dOL$$dOCLCQ$dUKAHL$dOCLCO
016 7 $a016600646$2Uk
020 $a9783319039985$q(electronic bk.)
020 $a3319039989$q(electronic bk.)
020 $a3319039970$q(print)
020 $a9783319039978$q(print)
020 $z9783319039978
024 8 $a10.1007/978-3-319-03998-5
035 $a(OCoLC)868638907
050 4 $aLB1028.43
050 4 $aLB1028.43-1028.75
060 4 $aLB1028.43
082 04 $a374.26$223
111 2 $aICTERI (Conference)$n(9th :$d2013 :$cKherson, Ukraine)
245 10 $aInformation and communication technologies in education, research, and industrial applications :$b9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, revised selected papers /$cVadim Ermolayev, Heirich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych (eds.).
264 1 $aCham :$bSpringer International Publishing :$bImprint :$bSpringer,$c2013.
300 $a1 online resource (xii, 379 pages) :$billustrations
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
504 $aIncludes bibliographical references and index.
505 0 $aSystems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification.
520 8 $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.
505 00 $tInvited Contributions.$tBiotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy /$rWolf-Ekkehard Matzke --$tTheory of Interaction, Insertion Modeling, and Cognitive Architectures /$rAlexander Letichevsky --$tFrom Collegial to Collaborative -- A Model for Building Trust and Partnership in Information Technology /$rGary L. Pratt --$tSystems, Infrastructures, and Integration.$tAn Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain /$rNikolay Tkachuk, Vladyslav Sokol and Kateryna Glukhovtsova --$tDeveloping and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools /$rAnatoliy Doroshenko, Kostiantyn Zhereb and Olena Yatsenko --$tAsymptotical Information Bound of Consecutive Qubit Binary Testing /$rAnastasiia Varava and Grygoriy Zholtkevych.
505 80 $tAvailability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study /$rVyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko and Peter Popov --$tSemantics, Knowledge Engineering and Management.$tQuantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics /$rOlga Tatarintseva, Vadim Ermolayev, Brita Keller and Wolf-Ekkehard Matzke --$tEvaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings /$rMaxim Davidovsky, Vadim Ermolayev and Vyacheslav Tolok --$tTwo Semantic Models for Clock Relations in the Clock Constraint Specification Language /$rGrygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska and Galyna Zholtkevych --$tICT in Teaching Methodologies and Didactics.$tHow Do Computer Science Students Use Distributed Version Control Systems? /$rMichael Cochez, Ville Isomöttönen, Ville Tirronen and Jonne Itkonen.
505 80 $tBridging the Generation Gap in ICT Education /$rNataliya Kushnir, Anna Manzhula and Nataliya Valko --$tThree-Subjective Didactic Model /$rAleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska [and others] --$tEmerging Technologies for Training of ICT-Skilled Educational Personnel /$rMariya Shyshkina --$tModel-Driven Software Development and Verification.$tImproving the Efficiency of Synchronized Product with Infinite Transition Systems /$rYuliia Romenska and Frédéric Mallet --$tOn Existence of Total Input-Output Pairs of Abstract Time Systems /$rIevgen Ivanov --$tSpecializations in Symbolic Verification /$rVladimir Peschanenko, Anton Guba and Constantin Shushpanov --$tExtending Floyd-Hoare Logic for Partial Pre- and Postconditions /$rAndrii Kryvolap, Mykola Nikitchenko and Wolfgang Schreiner.
650 0 $aEducation$xData processing$vCongresses.
650 0 $aComputer science.
650 0 $aSoftware engineering.
650 0 $aLogic design.
650 0 $aArtificial intelligence.
650 0 $aEducation.
650 2 $aComputing Methodologies
650 2 $aEducational Technology
650 2 $aComputing Methodologies$xeducation
650 2 $aEducation
650 2 $aTeaching
650 2 $aKnowledge Management
650 7 $aArtificial intelligence.$2fast$0(OCoLC)fst00817247
650 7 $aComputer science.$2fast$0(OCoLC)fst00872451
650 7 $aEducation.$2fast$0(OCoLC)fst00902499
650 7 $aEducation$xData processing.$2fast$0(OCoLC)fst00902579
650 7 $aLogic design.$2fast$0(OCoLC)fst01002045
650 7 $aSoftware engineering.$2fast$0(OCoLC)fst01124185
655 2 $aCongress
655 4 $aEbook.
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aErmolayev, Vadim,$eeditor.
700 1 $aMayr, H. C.$q(Heinrich Christian),$eeditor.
700 1 $aNikitchenko, Mykola,$eeditor.
700 1 $aSpivakovsky, Aleksander,$eeditor.
700 1 $aZholtkevych, Grygoriy,$eeditor.
776 08 $iPrinted edition:$z9783319039978
830 0 $aCommunications in computer and information science ;$v412,$x1865-0929
856 40 $3ProQuest Ebook Central$uhttps://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3092029
856 40 $3Scholars Portal$uhttp://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2014-05-07/1/9783319039985
856 40 $3Scholars Portal Books$uhttp://www.library.yorku.ca/e/resolver/id/2548607
856 40 $3SpringerLink$uhttps://doi.org/10.1007/978-3-319-03998-5
856 40 $3SpringerLink$uhttps://doi.org/10.1007/978-3-319-03998-5$aSpringerLink
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/978-3-319-03997-8
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/978-3-319-03998-5
856 40 $3SpringerLink$uhttp://www.library.yorku.ca/e/resolver/id/2548608
856 40 $uhttps://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783319039985
938 $aAskews and Holts Library Services$bASKH$nAH29629422
938 $aEBL - Ebook Library$bEBLB$nEBL3092029
938 $aYBP Library Services$bYANK$n11561190
029 1 $aAU@$b000057880434
029 1 $aNLGGC$b373732481
029 1 $aNZ1$b15569114
029 1 $aNZ1$b15737635
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 347 OTHER HOLDINGS