Search Results for Cyber-Physical Systems. - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCyber-Physical$002bSystems.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-14T22:39:20Z Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617783 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Bajo, Javier. editor.&#160;Vale, Zita. editor.&#160;Hallenborg, Kasper. editor.&#160;Rocha, Ana Paula. editor.&#160;Mathieu, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60285-1">https://doi.org/10.1007/978-3-319-60285-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Engineering of Digital Twins ent://SD_ILS/0/SD_ILS:604841 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Fitzgerald, John. editor. (orcid)0000-0001-7041-1807&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66719-0">https://doi.org/10.1007/978-3-031-66719-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617034 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Reinecke, Philipp. editor.&#160;Di Marco, Antinisca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615166 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Simulation-Based Disciplines Advancing Our Computational Future ent://SD_ILS/0/SD_ILS:614203 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Mittal, Saurabh. editor.&#160;Durak, Umut. editor.&#160;&Ouml;ren, Tuncer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61264-5">https://doi.org/10.1007/978-3-319-61264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616183 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Abate, Alessandro. editor. (orcid)0000-0002-5627-9093&#160;Boldo, Sylvie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616994 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Kapur, Deepak. editor.&#160;Zhan, Naijun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:616134 2026-04-14T22:39:20Z 2026-04-14T22:39:20Z Author&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>