Search Results for Systems analysis. - Narrowed by: Computer systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002banalysis.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystems.$002509Computer$002bsystems.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-13T23:24:19Z Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605472 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605717 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605736 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:605738 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605783 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608173 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608174 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608298 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611&#160;Kesner, Delia. editor. (orcid)0000-0003-4254-3129&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601939 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Li, Chao. editor. (orcid)0000-0001-6218-4659&#160;Li, Zhenhua. editor. (orcid)0000-0001-7286-122X&#160;Shen, Li. editor. (orcid)0000-0001-9043-2998&#160;Wu, Fan. editor. (orcid)0000-0003-0965-9058&#160;Gong, Xiaoli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:602211 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8543-2">https://doi.org/10.1007/978-981-99-8543-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I ent://SD_ILS/0/SD_ILS:605152 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X&#160;Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884&#160;Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903&#160;Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210&#160;Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72284-4">https://doi.org/10.1007/978-3-031-72284-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II ent://SD_ILS/0/SD_ILS:605153 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X&#160;Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884&#160;Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903&#160;Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210&#160;Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72287-5">https://doi.org/10.1007/978-3-031-72287-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607723 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8435-0">https://doi.org/10.1007/978-981-99-8435-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V ent://SD_ILS/0/SD_ILS:607724 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8469-5">https://doi.org/10.1007/978-981-99-8469-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602188 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8432-9">https://doi.org/10.1007/978-981-99-8432-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:602189 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8540-1">https://doi.org/10.1007/978-981-99-8540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X ent://SD_ILS/0/SD_ILS:602190 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8549-4">https://doi.org/10.1007/978-981-99-8549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:602193 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8462-6">https://doi.org/10.1007/978-981-99-8462-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:602194 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8537-1">https://doi.org/10.1007/978-981-99-8537-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:602195 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8546-3">https://doi.org/10.1007/978-981-99-8546-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII ent://SD_ILS/0/SD_ILS:602196 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8558-6">https://doi.org/10.1007/978-981-99-8558-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI ent://SD_ILS/0/SD_ILS:602204 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8552-4">https://doi.org/10.1007/978-981-99-8552-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII ent://SD_ILS/0/SD_ILS:602205 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Liu, Qingshan. editor. (orcid)0000-0002-8161-1780&#160;Wang, Hanzi. editor.&#160;Ma, Zhanyu. editor.&#160;Zheng, Weishi. editor. (orcid)0000-0001-8327-0003&#160;Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8555-5">https://doi.org/10.1007/978-981-99-8555-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603950 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847&#160;Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680&#160;Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61835-2">https://doi.org/10.1007/978-3-031-61835-2</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-13T23:24:19Z 2026-03-13T23:24:19Z 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/> Industrial Networks and Intelligent Systems 10th EAI International Conference, INISCOM 2024, Da Nang, Vietnam, February 20-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604529 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Vo, Nguyen-Son. editor.&#160;Ha, Dac-Binh. editor. (orcid)0000-0002-1242-5159&#160;Jung, Haejoon. 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-67357-3">https://doi.org/10.1007/978-3-031-67357-3</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-13T23:24:19Z 2026-03-13T23:24:19Z 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/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616016 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. 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-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616071 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. 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-55849-3">https://doi.org/10.1007/978-3-319-55849-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-13T23:24:19Z 2026-03-13T23:24:19Z 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/> 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-13T23:24:19Z 2026-03-13T23:24:19Z 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/> Internetware A New Software Paradigm for Internet Computing ent://SD_ILS/0/SD_ILS:615189 2026-03-13T23:24:19Z 2026-03-13T23:24:19Z Author&#160;Mei, Hong. author.&#160;L&uuml;, Jian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2546-4">https://doi.org/10.1007/978-981-10-2546-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>