Search Results for Architecture, Computer. - Narrowed by: Computer logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArchitecture$00252C$002bComputer.$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-24T01:57:13Z Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483471 2024-11-24T01:57:13Z 2024-11-24T01:57:13Z Author&#160;Chamberlain, Roger. editor.&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:483506 2024-11-24T01:57:13Z 2024-11-24T01:57:13Z Author&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491&#160;Corradini, Flavio. editor.&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>