Search Results for Logic - Narrowed by: Architecture, Computer. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dSUBJECT$002509Subject$002509Architecture$00252C$002bComputer.$002509Architecture$00252C$002bComputer.$0026te$003dILS$0026ps$003d300? 2024-11-11T14:15:10Z 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-11T14:15:10Z 2024-11-11T14:15:10Z 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/> Pervasive Computing: A Networking Perspective and Future Directions ent://SD_ILS/0/SD_ILS:484434 2024-11-11T14:15:10Z 2024-11-11T14:15:10Z Author&#160;Bhargava, Deepshikha. editor.&#160;Vyas, Sonali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3462-7">https://doi.org/10.1007/978-981-13-3462-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484537 2024-11-11T14:15:10Z 2024-11-11T14:15:10Z Author&#160;Fan, Xing. editor.&#160;de Supinski, Bronis R. editor.&#160;Sinnen, Oliver. editor.&#160;Giacaman, Nasser. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2024-11-11T14:15:10Z 2024-11-11T14:15:10Z Author&#160;Rauchwerger, Lawrence. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-11T14:15:10Z 2024-11-11T14:15:10Z 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/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-11-11T14:15:10Z 2024-11-11T14:15:10Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>