|
|
|
|
| LEADER |
03697nam a2200613 4500 |
| 001 |
978-3-030-17910-6 |
| 003 |
DE-He213 |
| 005 |
20191025102144.0 |
| 007 |
cr nn 008mamaa |
| 008 |
190412s2019 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030179106
|9 978-3-030-17910-6
|
| 024 |
7 |
|
|a 10.1007/978-3-030-17910-6
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.76.A65
|
| 072 |
|
7 |
|a UNH
|2 bicssc
|
| 072 |
|
7 |
|a COM032000
|2 bisacsh
|
| 072 |
|
7 |
|a UNH
|2 thema
|
| 072 |
|
7 |
|a UDBD
|2 thema
|
| 082 |
0 |
4 |
|a 005.7
|2 23
|
| 245 |
1 |
0 |
|a Cyber Physical Systems. Design, Modeling, and Evaluation
|h [electronic resource] :
|b 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
|c edited by Roger Chamberlain, Walid Taha, Martin Törngren.
|
| 250 |
|
|
|a 1st ed. 2019.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2019.
|
| 300 |
|
|
|a X, 159 p. 70 illus., 31 illus. in color.
|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 Information Systems and Applications, incl. Internet/Web, and HCI ;
|v 11267
|
| 505 |
0 |
|
|a Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
|
| 520 |
|
|
|a This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. .
|
| 650 |
|
0 |
|a Application software.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer hardware.
|
| 650 |
|
0 |
|a Special purpose computers.
|
| 650 |
|
0 |
|a Architecture, Computer.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
1 |
4 |
|a Information Systems Applications (incl. Internet).
|0 http://scigraph.springernature.com/things/product-market-codes/I18040
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I14002
|
| 650 |
2 |
4 |
|a Computer Hardware.
|0 http://scigraph.springernature.com/things/product-market-codes/I1200X
|
| 650 |
2 |
4 |
|a Special Purpose and Application-Based Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I13030
|
| 650 |
2 |
4 |
|a Computer System Implementation.
|0 http://scigraph.springernature.com/things/product-market-codes/I13057
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 700 |
1 |
|
|a Chamberlain, Roger.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Taha, Walid.
|e editor.
|0 (orcid)0000-0003-3160-9188
|1 https://orcid.org/0000-0003-3160-9188
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Törngren, Martin.
|e editor.
|0 (orcid)0000-0002-4300-885X
|1 https://orcid.org/0000-0002-4300-885X
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030179090
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030179113
|
| 830 |
|
0 |
|a Information Systems and Applications, incl. Internet/Web, and HCI ;
|v 11267
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-17910-6
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
