LEADER 03765nam 22007815 450 001 9910483540503321 005 20200705015636.0 010 $a3-319-25141-4 024 7 $a10.1007/978-3-319-25141-7 035 $a(CKB)4340000000001158 035 $a(SSID)ssj0001585009 035 $a(PQKBManifestationID)16264511 035 $a(PQKBTitleCode)TC0001585009 035 $a(PQKBWorkID)14864842 035 $a(PQKB)10004324 035 $a(DE-He213)978-3-319-25141-7 035 $a(MiAaPQ)EBC5594791 035 $a(PPN)190528907 035 $a(EXLCZ)994340000000001158 100 $a20151031d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCyber Physical Systems. Design, Modeling, and Evaluation $e5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /$fedited by Mohammad Reza Mousavi, Christian Berger 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (VII, 147 p. 43 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9361 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-25140-6 330 $aThis book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9361 606 $aApplication software 606 $aComputer communication systems 606 $aSoftware engineering 606 $aComputer logic 606 $aAlgorithms 606 $aArtificial intelligence 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aApplication software. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aArtificial Intelligence. 676 $a629.8 702 $aMousavi$b Mohammad Reza$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBerger$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483540503321 996 $aCyber Physical Systems. Design, Modeling, and Evaluation$92526818 997 $aUNINA