Search Results for Languages. - Narrowed by: Computer hardware. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bhardware.$002509Computer$002bhardware.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-01-17T13:15:58Z Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9&ndash;11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483047 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Hall, Mary. editor. (orcid)0000-0002-3058-7573&#160;Sundar, Hari. editor. (orcid)0000-0001-9001-5107&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400644 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Ahmed, Amal. editor. (orcid)0000-0001-7424-572X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15&ndash;16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399962 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Khendek, Ferhat. editor.&#160;Gotzhein, Reinhard. 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-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Specification and Design Languages Selected contributions from FDL&rsquo;07 ent://SD_ILS/0/SD_ILS:170107 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Villar, Eugenio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 ent://SD_ILS/0/SD_ILS:169340 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Vachoux, A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4998-9">http://dx.doi.org/10.1007/978-1-4020-4998-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22&ndash;27, 2004, Toulouse, France ent://SD_ILS/0/SD_ILS:165066 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Dissaux, Pierre. editor.&#160;Filali-Amine, Mamoun. editor.&#160;Michel, Pierre. editor.&#160;Vernadat, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2026-01-17T13:15:58Z 2026-01-17T13:15:58Z Author&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>