Search Results for Computer programming - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bprogramming$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-20T19:58:06Z Active Object Languages: Current Research Trends ent://SD_ILS/0/SD_ILS:602437 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z Author&#160;de Boer, Frank. editor.&#160;Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706&#160;H&auml;hnle, Reiner. editor.&#160;Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949&#160;Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</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 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z 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/> High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612242 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z Author&#160;Kunkel, Julian M. editor.&#160;Yokota, Rio. editor.&#160;Taufer, Michela. editor.&#160;Shalf, John. 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-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610998 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z Author&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Terboven, Christian. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications ent://SD_ILS/0/SD_ILS:617350 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Decker, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616161 2026-03-20T19:58:06Z 2026-03-20T19:58:06Z Author&#160;Devitt, Simon. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40578-0">https://doi.org/10.1007/978-3-319-40578-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>