Search Results for Book design. - Narrowed by: Computer System Implementation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBook$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bSystem$002bImplementation.$002509Computer$002bSystem$002bImplementation.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T11:39:21Z Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606757 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Rey, Ga&euml;tan. editor. (orcid)0000-0003-4710-0474&#160;Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384&#160;Franquet, Erwin. editor. (orcid)0000-0002-7009-1521&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82065-6">https://doi.org/10.1007/978-3-031-82065-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606203 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607173 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Yin, Yitong. editor. (orcid)0000-0001-9204-7794&#160;Zhang, Jialin. editor. (orcid)0000-0002-6245-1013&#160;Cai, Zhiping. editor. (orcid)0000-0001-5726-833X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1490-5">https://doi.org/10.1007/978-981-96-1490-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607064 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606890 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Hemann, Jason. editor. (orcid)0000-0002-5405-2936&#160;Chang, Stephen. editor. (orcid)0000-0002-4760-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602492 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Chbeir, Richard. editor. (orcid)0000-0003-4112-1426&#160;Benslimane, Djamal. editor.&#160;Zervakis, Michalis. editor.&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51643-6">https://doi.org/10.1007/978-3-031-51643-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602298 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Liu, Jianghua. editor.&#160;Xu, Lei. editor. (orcid)0000-0001-9178-6640&#160;Huang, Xinyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51399-2">https://doi.org/10.1007/978-3-031-51399-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603137 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Wacquez, Romain. author.&#160;Homma, Naofumi. editor. (orcid)0000-0003-0864-3126&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57543-3">https://doi.org/10.1007/978-3-031-57543-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:602719 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X&#160;Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348&#160;Tiwary, Uma Shanker. editor.&#160;Chung, Wan-Young. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53827-8">https://doi.org/10.1007/978-3-031-53827-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605239 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Gori, Roberta. editor. (orcid)0000-0002-7424-9576&#160;Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424&#160;Tribastone, Mirco. editor. (orcid)0000-0002-6018-5989&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71671-3">https://doi.org/10.1007/978-3-031-71671-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603567 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Miller, Dale. editor. (orcid)0000-0003-0274-4954&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602014 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Cai, Zhiping. editor. (orcid)0000-0001-5726-833X&#160;Xiao, Mingyu. editor.&#160;Zhang, Jialin. editor. (orcid)0000-0002-6245-1013&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604582 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Fey, Dietmar. editor. (orcid)0000-0002-6077-4732&#160;Stabernack, Benno. editor. (orcid)0000-0002-6654-1606&#160;Lankes, Stefan. editor. (orcid)0000-0003-4718-2238&#160;Pacher, Mathias. editor. (orcid)0000-0001-5313-5898&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66146-4">https://doi.org/10.1007/978-3-031-66146-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604456 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Reynolds, Andrew. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603161 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604349 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109&#160;Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953&#160;Eick, Bettina. editor. (orcid)0000-0003-2884-6545&#160;Leykin, Anton. editor. (orcid)0000-0002-9216-3514&#160;Ren, Yue. editor. (orcid)0000-0002-6005-7119<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64529-7">https://doi.org/10.1007/978-3-031-64529-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:602720 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X&#160;Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348&#160;Tiwary, Uma Shanker. editor.&#160;Chung, Wan-Young. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53830-8">https://doi.org/10.1007/978-3-031-53830-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611609 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Fischer, Wieland. editor.&#160;Homma, Naofumi. 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-66787-4">https://doi.org/10.1007/978-3-319-66787-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617551 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Farshim, Pooya. editor.&#160;Simion, Emil. 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-69284-5">https://doi.org/10.1007/978-3-319-69284-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616115 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Guilley, Sylvain. 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-64647-3">https://doi.org/10.1007/978-3-319-64647-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Igua&ccedil;u, Brazil, November 3-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:618261 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;G&ouml;tz, Marcelo. editor.&#160;Schirner, Gunar. editor.&#160;Wehrmeister, Marco Aur&eacute;lio. editor.&#160;Al Faruque, Mohammad Abdullah. editor.&#160;Rettberg, Achim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613146 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Avanzi, Roberto. editor.&#160;Heys, Howard. 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-69453-5">https://doi.org/10.1007/978-3-319-69453-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering ent://SD_ILS/0/SD_ILS:617792 2026-03-15T11:39:21Z 2026-03-15T11:39:21Z Author&#160;Dick, Jeremy. author.&#160;Hull, Elizabeth. author.&#160;Jackson, Ken. 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-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>