Search Results for Systems software. - Narrowed by: Computer engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-14T14:50:25Z Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604277 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991&#160;Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156&#160;Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66459-5">https://doi.org/10.1007/978-3-031-66459-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Systems and Software Engineering State of the Art and Future Trends ent://SD_ILS/0/SD_ILS:486378 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dajsuren, Yanja. editor.&#160;van den Brand, Mark. 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-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:613659 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;de Lemos, Rog&eacute;rio. editor.&#160;Garlan, David. editor.&#160;Ghezzi, Carlo. editor.&#160;Giese, Holger. 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-74183-3">https://doi.org/10.1007/978-3-319-74183-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme ent://SD_ILS/0/SD_ILS:192807 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Broy, Manfred. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607227 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dassisti, Michele. editor. (orcid)0000-0001-6984-9203&#160;Madani, Kurosh. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80760-2">https://doi.org/10.1007/978-3-031-80760-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607116 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 17th International Symposium, FPS 2024, Montr&eacute;al, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:609540 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Adi, Kamel. editor. (orcid)0000-0003-2869-0333&#160;Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398&#160;Durand, Christel. editor.&#160;Viet Triem Tong, Val&eacute;rie. editor. (orcid)0000-0003-4838-2952&#160;Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87499-4">https://doi.org/10.1007/978-3-031-87499-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 17th International Symposium, FPS 2024, Montr&eacute;al, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608979 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Adi, Kamel. editor. (orcid)0000-0003-2869-0333&#160;Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398&#160;Durand, Christel. editor.&#160;Viet Triem Tong, Val&eacute;rie. editor. (orcid)0000-0003-4838-2952&#160;Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87496-3">https://doi.org/10.1007/978-3-031-87496-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607581 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Lopata, Audrius. editor.&#160;Gudonien&#279;, Daina. editor. (orcid)0000-0002-6338-5556&#160;Butkien&#279;, Rita. editor. (orcid)0000-0003-3250-4599&#160;&#268;eponis, Jonas. 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-84263-4">https://doi.org/10.1007/978-3-031-84263-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607537 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;B&#259;dic&#259;, Costin. editor. (orcid)0000-0001-8480-9867&#160;Gu&scaron;ev, Marjan. editor. (orcid)0000-0003-0351-9783&#160;Iftene, Adrian. editor. (orcid)0000-0003-3564-8440&#160;Ivanovi&#263;, Mirjana. editor. (orcid)0000-0003-1946-0384&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84093-7">https://doi.org/10.1007/978-3-031-84093-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607247 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dassisti, Michele. editor. (orcid)0000-0001-6984-9203&#160;Madani, Kurosh. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80775-6">https://doi.org/10.1007/978-3-031-80775-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607214 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:608480 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Siuly, Siuly. editor. (orcid)0000-0003-2491-0546&#160;Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097&#160;Li, Xiaofan. editor. (orcid)0000-0003-4379-3277&#160;Zhou, Rui. editor. (orcid)0000-0001-6807-4362&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-5597-7">https://doi.org/10.1007/978-981-96-5597-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:609356 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Chbeir, Richard. editor. (orcid)0000-0003-4112-1426&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Masciari, Elio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93598-5">https://doi.org/10.1007/978-3-031-93598-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:606818 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X&#160;Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383&#160;Astorino, Annabella. editor. (orcid)0000-0002-3439-180X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:606817 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X&#160;Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383&#160;Astorino, Annabella. editor. (orcid)0000-0002-3439-180X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:606819 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X&#160;Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383&#160;Astorino, Annabella. editor. (orcid)0000-0002-3439-180X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608842 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dutle, Aaron. editor. (orcid)0000-0002-8503-5514&#160;Humphrey, Laura. editor. (orcid)0000-0002-3148-9035&#160;Titolo, Laura. editor. (orcid)0000-0001-7820-7640&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2 ent://SD_ILS/0/SD_ILS:601722 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Jaiswal, Ajay. editor.&#160;Anand, Sameer. editor.&#160;Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681&#160;Azar, Ahmad Taher. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-8343-7">https://doi.org/10.1007/978-981-96-8343-7</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-14T14:50:25Z 2026-03-14T14:50:25Z 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/> NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603672 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929&#160;Gopinath, Divya. editor. (orcid)0000-0002-1242-7701&#160;Shi, Nija. 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-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604911 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Ab&aacute;solo, Mar&iacute;a Jos&eacute;. editor. (orcid)0000-0003-4441-3264&#160;Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719&#160;De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70439-0">https://doi.org/10.1007/978-3-031-70439-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602288 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Shao, Jun. editor.&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Meng, Weizhi. editor. (orcid)0000-0003-4384-5786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9614-8">https://doi.org/10.1007/978-981-99-9614-8</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-14T14:50:25Z 2026-03-14T14:50:25Z 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/> Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604013 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Pesado, Patricia. editor.&#160;Panessi, Walter. editor. (orcid)0009-0006-6299-1462&#160;Fern&aacute;ndez, Juan Manuel. editor. (orcid)0000-0001-9291-3066&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62245-8">https://doi.org/10.1007/978-3-031-62245-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602321 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Lopata, Audrius. editor.&#160;Gudonien&#279;, Daina. editor. (orcid)0000-0002-6338-5556&#160;Butkien&#279;, Rita. editor. (orcid)0000-0003-3250-4599&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-48981-5">https://doi.org/10.1007/978-3-031-48981-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602208 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Staggs, Jason. editor.&#160;Shenoi, Sujeet. 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-49585-4">https://doi.org/10.1007/978-3-031-49585-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology ent://SD_ILS/0/SD_ILS:603521 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Femmam, Smain. editor. (orcid)0000-0001-5366-0481&#160;Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-59619-3">https://doi.org/10.1007/978-3-031-59619-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604856 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Moser, Bernhard. editor.&#160;Fischer, Lukas. editor.&#160;Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953&#160;Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602&#160;Glock, Anna-Christina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68302-2">https://doi.org/10.1007/978-3-031-68302-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605685 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Briola, Daniela. editor. (orcid)0000-0003-1994-8929&#160;Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954&#160;Logan, Brian. editor. (orcid)0000-0003-0648-7107&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71152-7">https://doi.org/10.1007/978-3-031-71152-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, V&auml;ster&aring;s, Sweden, October 16-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602047 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Kofro&#328;, Jan. editor. (orcid)0000-0003-0391-4812&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Seceleanu, Cristina. 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-49252-5">https://doi.org/10.1007/978-3-031-49252-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601957 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Tabares, Marta. editor.&#160;Vallejo, Paola. editor.&#160;Suarez, Biviana. editor.&#160;Suarez, Marco. editor.&#160;Ruiz, Oscar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47372-2">https://doi.org/10.1007/978-3-031-47372-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602546 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dong, Naipeng. editor.&#160;Pillai, Babu. editor. (orcid)0000-0003-4675-154X&#160;Bai, Guangdong. editor.&#160;Utting, Mark. editor. (orcid)0000-0003-3134-6306&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-0006-6">https://doi.org/10.1007/978-981-97-0006-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Contemporary High Performance Computing : From Petascale toward Exascale ent://SD_ILS/0/SD_ILS:547527 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Vetter, Jeffrey S., editor.<br/>Preferred Shelf Number&#160;QA76.88 C668 2017<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466568358">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Engineering Smart Systems ent://SD_ILS/0/SD_ILS:617371 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Silvis-Cividjian, Natalia. 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-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614260 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Polikarpova, Nadia. editor.&#160;Schneider, Steve. 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-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613326 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Kaushik, Saroj. editor.&#160;Gupta, Daya. editor.&#160;Kharb, Latika. editor. (orcid)0000-0002-8549-0920&#160;Chahal, Deepak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6544-6">https://doi.org/10.1007/978-981-10-6544-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611536 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens, Nora. editor.&#160;Lanet, Jean-Louis. editor.&#160;Legay, Axel. 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-54876-0">https://doi.org/10.1007/978-3-319-54876-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Software Engineering From Fundamentals to Application Methods ent://SD_ILS/0/SD_ILS:617836 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;O'Regan, Gerard. 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-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Communication. Towards a Smart and Secure Future Internet 28th International Tyrrhenian Workshop, TIWDC 2017, Palermo, Italy, September 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617924 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Piva, Alessandro. editor.&#160;Tinnirello, Ilenia. editor.&#160;Morosi, Simone. 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-67639-5">https://doi.org/10.1007/978-3-319-67639-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Innovations 2017 Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617883 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Trajanov, Dimitar. editor.&#160;Bakeva, Verica. 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-67597-8">https://doi.org/10.1007/978-3-319-67597-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615972 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Tonetta, Stefano. editor.&#160;Schoitsch, Erwin. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings ent://SD_ILS/0/SD_ILS:616123 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Bishop, Matt. editor.&#160;Nascimento, Anderson C A. 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-45871-7">https://doi.org/10.1007/978-3-319-45871-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617920 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545&#160;Filipe, Joaquim. 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-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616726 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Foresti, Sara. editor.&#160;Lopez, Javier. 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-45931-8">https://doi.org/10.1007/978-3-319-45931-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anti-fragile ICT Systems ent://SD_ILS/0/SD_ILS:611190 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Hole, Kjell J&oslash;rgen. 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-30070-2">https://doi.org/10.1007/978-3-319-30070-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and its Applications Ubiquitous Information Technologies ent://SD_ILS/0/SD_ILS:530087 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Stojmenovic, Ivan. editor.&#160;Jeong, Hwa Young. editor.&#160;Yi, Gangman. 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-45402-2">https://doi.org/10.1007/978-3-662-45402-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scheduling of large-scale virtualized infrastructures toward cooperative management ent://SD_ILS/0/SD_ILS:341788 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Quesnel, Flavien.<br/>Preferred Shelf Number&#160;ONLINE(341788.1)<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1765087">http://public.eblib.com/choice/publicfullrecord.aspx?p=1765087</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118790335">http://dx.doi.org/10.1002/9781118790335</a> MyiLibrary <a href="http://www.myilibrary.com?id=637321">http://www.myilibrary.com?id=637321</a> Cover <a href="http://swbplus.bsz-bw.de/bsz414083040cov.htm">http://swbplus.bsz-bw.de/bsz414083040cov.htm</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers, Software Engineering, and Digital Devices ent://SD_ILS/0/SD_ILS:542493 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Dorf, Richard C., author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;TK7885<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Computer Engineering Handbook. ent://SD_ILS/0/SD_ILS:543838 2026-03-14T14:50:25Z 2026-03-14T14:50:25Z Author&#160;Oklobdzija, Vojin G., author.&#160;CRC Press LLC.<br/>Preferred Shelf Number&#160;TK7885 .C645 2002<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420041545">https://www.taylorfrancis.com/books/9781420041545</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>