Search Results for Systems software. - Narrowed by: Computer networks&nbsp;. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-22T06:57:55Z Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607016 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Men&eacute;ndez, H&eacute;ctor D. editor. (orcid)0000-0002-6314-3725&#160;Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286&#160;Barnard, Pepita. editor. (orcid)0000-0003-4518-1207&#160;Bautista, John Robert. editor. (orcid)0000-0002-4892-9543&#160;Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80889-0">https://doi.org/10.1007/978-3-031-80889-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607973 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I ent://SD_ILS/0/SD_ILS:608296 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III ent://SD_ILS/0/SD_ILS:608297 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II ent://SD_ILS/0/SD_ILS:608320 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III ent://SD_ILS/0/SD_ILS:603152 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605053 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224&#160;Clarke, Paul. editor. (orcid)0000-0002-4487-627X&#160;Riel, Andreas. editor. (orcid)0000-0001-9859-019X&#160;Messnarz, Richard. editor. (orcid)0000-0002-0555-3160&#160;Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71139-8">https://doi.org/10.1007/978-3-031-71139-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605054 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224&#160;Clarke, Paul. editor. (orcid)0000-0002-4487-627X&#160;Riel, Andreas. editor. (orcid)0000-0001-9859-019X&#160;Messnarz, Richard. editor. (orcid)0000-0002-0555-3160&#160;Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71142-8">https://doi.org/10.1007/978-3-031-71142-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II ent://SD_ILS/0/SD_ILS:603151 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part I ent://SD_ILS/0/SD_ILS:603145 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612061 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;H&#345;eb&iacute;&#269;ek, Ji&#345;&iacute;. editor.&#160;Denzer, Ralf. editor.&#160;Schimak, Gerald. editor.&#160;Pitner, Tom&aacute;&scaron;. 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-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613532 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Yevtushenko, Nina. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Yenig&uuml;n, H&uuml;sn&uuml;. 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-67549-7">https://doi.org/10.1007/978-3-319-67549-7</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616194 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Bodden, Eric. editor.&#160;Payer, Mathias. editor. (orcid)0000-0001-5054-7547&#160;Athanasopoulos, Elias. 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-62105-0">https://doi.org/10.1007/978-3-319-62105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611971 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Magno, Michele. editor.&#160;Ferrero, Fabien. editor.&#160;Bilas, Vedran. 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-61563-9">https://doi.org/10.1007/978-3-319-61563-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. 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-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616986 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wotawa, Franz. editor.&#160;Nica, Mihai. editor.&#160;Kushik, Natalia. 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-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618015 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Caballero, Juan. editor.&#160;Bodden, Eric. editor.&#160;Athanasopoulos, Elias. 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-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608091 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Kanhere, Salil. editor. (orcid)0000-0002-1835-3475&#160;Jurdak, Raja. editor. (orcid)0000-0001-7517-0782&#160;Parkinson, Joy. editor.&#160;Sridharan, Bhavani. editor.&#160;Pal, Shantanu. editor. (orcid)0000-0002-8784-0154<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4442-1">https://doi.org/10.1007/978-981-96-4442-1</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608938 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Balouek, Daniel. editor. (orcid)0000-0001-6038-1077&#160;Medeiros, Ib&eacute;ria. 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-95728-4">https://doi.org/10.1007/978-3-031-95728-4</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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 II ent://SD_ILS/0/SD_ILS:606818 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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 III ent://SD_ILS/0/SD_ILS:606819 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607445 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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-81888-2">https://doi.org/10.1007/978-3-031-81888-2</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2 ent://SD_ILS/0/SD_ILS:601722 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604349 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603643 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341&#160;Dom&iacute;nguez Mayo, Francisco Jos&eacute;. editor.&#160;van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353&#160;Maciaszek, Leszek 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-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603899 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Martins, Rolando. editor. (orcid)0000-0002-1838-1417&#160;Selimi, Mennan. 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-62638-8">https://doi.org/10.1007/978-3-031-62638-8</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605040 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Kozik, Rafa&#322;. editor. (orcid)0000-0001-7122-3306&#160;Chora&#347;, Micha&#322;. editor. (orcid)0000-0003-1405-9911&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70879-4">https://doi.org/10.1007/978-3-031-70879-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605041 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Kozik, Rafa&#322;. editor. (orcid)0000-0001-7122-3306&#160;Chora&#347;, Micha&#322;. editor. (orcid)0000-0003-1405-9911&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70890-9">https://doi.org/10.1007/978-3-031-70890-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605042 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Kozik, Rafa&#322;. editor. (orcid)0000-0001-7122-3306&#160;Chora&#347;, Micha&#322;. editor. (orcid)0000-0003-1405-9911&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70903-6">https://doi.org/10.1007/978-3-031-70903-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605052 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Kozik, Rafa&#322;. editor. (orcid)0000-0001-7122-3306&#160;Chora&#347;, Micha&#322;. editor. (orcid)0000-0003-1405-9911&#160;Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70896-1">https://doi.org/10.1007/978-3-031-70896-1</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609925 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72338-4">https://doi.org/10.1007/978-3-031-72338-4</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> 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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605082 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428&#160;Trapp, Mario. editor.&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#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-031-68606-1">https://doi.org/10.1007/978-3-031-68606-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605193 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72332-2">https://doi.org/10.1007/978-3-031-72332-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605194 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72335-3">https://doi.org/10.1007/978-3-031-72335-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605195 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72341-4">https://doi.org/10.1007/978-3-031-72341-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:605196 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72344-5">https://doi.org/10.1007/978-3-031-72344-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:605197 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72347-6">https://doi.org/10.1007/978-3-031-72347-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:605198 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72350-6">https://doi.org/10.1007/978-3-031-72350-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:605199 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72353-7">https://doi.org/10.1007/978-3-031-72353-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:605200 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72356-8">https://doi.org/10.1007/978-3-031-72356-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:605201 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wand, Michael. editor. (orcid)0000-0003-0966-7824&#160;Malinovsk&aacute;, Krist&iacute;na. editor. (orcid)0000-0001-7638-028X&#160;Schmidhuber, J&uuml;rgen. editor. (orcid)0000-0002-1468-6758&#160;Tetko, Igor V. editor. (orcid)0000-0002-6855-0012&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72359-9">https://doi.org/10.1007/978-3-031-72359-9</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602129 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595&#160;Ferreira, Joao C. editor.&#160;Kocian, Alexander. editor.&#160;Tokkozhina, Ulpan. editor.&#160;Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602337 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Tsudik, Gene. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Liang, Kaitai. editor.&#160;Smaragdakis, Georgios. 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-51476-0">https://doi.org/10.1007/978-3-031-51476-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:602338 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Tsudik, Gene. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Liang, Kaitai. editor.&#160;Smaragdakis, Georgios. 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-51482-1">https://doi.org/10.1007/978-3-031-51482-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602345 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Tsudik, Gene. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Liang, Kaitai. editor.&#160;Smaragdakis, Georgios. 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-50594-2">https://doi.org/10.1007/978-3-031-50594-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602346 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Tsudik, Gene. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Liang, Kaitai. editor.&#160;Smaragdakis, Georgios. 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-51479-1">https://doi.org/10.1007/978-3-031-51479-1</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602882 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Rocha, Ana Paula. editor.&#160;Steels, Luc. editor.&#160;van den Herik, Jaap. 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-55326-4">https://doi.org/10.1007/978-3-031-55326-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602830 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Li, Jingchao. editor.&#160;Zhang, Bin. editor.&#160;Ying, Yulong. 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-53401-0">https://doi.org/10.1007/978-3-031-53401-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602831 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Li, Jingchao. editor.&#160;Zhang, Bin. editor.&#160;Ying, Yulong. 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-53404-1">https://doi.org/10.1007/978-3-031-53404-1</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611809 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Zhou, Yifeng. editor.&#160;Kunz, Thomas. 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-51204-4">https://doi.org/10.1007/978-3-319-51204-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Connected Environments for the Internet of Things Challenges and Solutions ent://SD_ILS/0/SD_ILS:612157 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Mahmood, Zaigham. 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-70102-8">https://doi.org/10.1007/978-3-319-70102-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612246 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Strichman, Ofer. editor.&#160;Tzoref-Brill, Rachel. 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-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612555 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Dacier, Marc. editor.&#160;Bailey, Michael. editor.&#160;Polychronakis, Michalis. editor.&#160;Antonakakis, Manos. 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-66332-6">https://doi.org/10.1007/978-3-319-66332-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools ent://SD_ILS/0/SD_ILS:612946 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Mahmood, Zaigham. 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-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Security Metrics ent://SD_ILS/0/SD_ILS:613251 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wang, Lingyu. author. (orcid)0000-0002-7441-7541&#160;Jajodia, Sushil. author. (orcid)0000-0003-3210-558X&#160;Singhal, Anoop. 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-66505-4">https://doi.org/10.1007/978-3-319-66505-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2016: Robot World Cup XX ent://SD_ILS/0/SD_ILS:613297 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Behnke, Sven. editor.&#160;Sheh, Raymond. editor.&#160;Sar&#305;el, Sanem. editor.&#160;Lee, Daniel D. 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-68792-6">https://doi.org/10.1007/978-3-319-68792-6</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage ent://SD_ILS/0/SD_ILS:614075 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Ludwig, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-16921-3">https://doi.org/10.1007/978-3-658-16921-3</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> The Support of Decision Processes with Business Intelligence and Analytics Insights on the Roles of Ambidexterity, Information Processing and Advice ent://SD_ILS/0/SD_ILS:614810 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Kowalczyk, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-19230-3">https://doi.org/10.1007/978-3-658-19230-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615035 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Guo, Song. editor.&#160;Wei, Guiyi. editor.&#160;Xiang, Yang. editor. (orcid)0000-0001-5252-0831&#160;Lin, Xiaodong. editor.&#160;Lorenz, Pascal. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49580-4">https://doi.org/10.1007/978-3-319-49580-4</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-22T06:57:55Z 2026-03-22T06:57:55Z 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 and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612144 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor. (orcid)0000-0001-9990-1084&#160;Mika&scaron;yt&#279;, Vilma. 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-67642-5">https://doi.org/10.1007/978-3-319-67642-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Security in SDN and NFV Challenges, Opportunities, and Applications ent://SD_ILS/0/SD_ILS:613138 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Zhu, Shao Ying. editor.&#160;Scott-Hayward, Sandra. editor.&#160;Jacquin, Ludovic. editor.&#160;Hill, Richard. 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-64653-4">https://doi.org/10.1007/978-3-319-64653-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering for Service and Cloud Computing ent://SD_ILS/0/SD_ILS:613919 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Ramachandran, Muthu. editor.&#160;Mahmood, Zaigham. 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-51310-2">https://doi.org/10.1007/978-3-319-51310-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks and New Services: A Complete Story ent://SD_ILS/0/SD_ILS:614317 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Minerva, Roberto. author.&#160;Crespi, Noel. author. (orcid)0000-0003-2962-192X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33995-5">https://doi.org/10.1007/978-3-319-33995-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616114 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Ibrahim, Shadi. editor.&#160;Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336&#160;Yan, Zheng. editor.&#160;Pedrycz, Witold. 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-65482-9">https://doi.org/10.1007/978-3-319-65482-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616259 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Dou, Yong. editor.&#160;Lin, Haixiang. editor.&#160;Sun, Guangyu. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;Heras, Dora. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616761 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Zhang, Lin. editor.&#160;Ren, Lei. editor.&#160;Kordon, Fabrice. 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-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods ent://SD_ILS/0/SD_ILS:617797 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Kousalya, G. author.&#160;Balakrishnan, P. author.&#160;Pethuru Raj, C. 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-56982-6">https://doi.org/10.1007/978-3-319-56982-6</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. 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-47474-8">https://doi.org/10.1007/978-3-319-47474-8</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613073 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Steffen, Bernhard. editor.&#160;Baier, Christel. editor.&#160;van den Brand, Mark. editor.&#160;Eder, Johann. editor.&#160;Hinchey, Mike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613725 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Desprez, Fr&eacute;d&eacute;ric. editor.&#160;Dutot, Pierre-Fran&ccedil;ois. editor.&#160;Kaklamanis, Christos. editor.&#160;Marchal, Loris. editor.&#160;Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615891 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Solano, Andr&eacute;s. editor.&#160;Ordo&ntilde;ez, Hugo. 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-66562-7">https://doi.org/10.1007/978-3-319-66562-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615949 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268&#160;Garbinato, Beno&icirc;t. 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-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616027 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Aydo&#287;an, Reyhan. editor.&#160;Baarslag, Tim. editor.&#160;Gerding, Enrico. editor.&#160;Jonker, Catholijn M. editor.&#160;Julian, Vicente. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57285-7">https://doi.org/10.1007/978-3-319-57285-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectural Transformations in Network Services and Distributed Systems ent://SD_ILS/0/SD_ILS:617144 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Luntovskyy, Andriy. author.&#160;Spillner, Josef. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14842-3">https://doi.org/10.1007/978-3-658-14842-3</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616653 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Livraga, Giovanni. editor.&#160;Mitchell, Chris. 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-68063-7">https://doi.org/10.1007/978-3-319-68063-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Engineering Smart Systems ent://SD_ILS/0/SD_ILS:617371 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616155 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Oliveira, Eug&eacute;nio. editor.&#160;Gama, Jo&atilde;o. editor.&#160;Vale, Zita. editor.&#160;Lopes Cardoso, Henrique. 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-65340-2">https://doi.org/10.1007/978-3-319-65340-2</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Industrial Networks and Intelligent Systems Second International Conference, INISCOM 2016, Leicester, UK, October 31 - November 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618235 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782&#160;Janicke, Helge. editor.&#160;Jones, 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-52569-3">https://doi.org/10.1007/978-3-319-52569-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2 ent://SD_ILS/0/SD_ILS:612699 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2523-2">https://doi.org/10.1007/978-81-322-2523-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612983 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Dignum, Virginia. editor. (orcid)0000-0001-7409-5813&#160;Noriega, Pablo. editor.&#160;Sensoy, Murat. editor.&#160;Sichman, Jaime Sim&atilde;o. 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-42691-4">https://doi.org/10.1007/978-3-319-42691-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G Heterogeneous Networks Self-organizing and Optimization ent://SD_ILS/0/SD_ILS:614047 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Rong, Bo. author.&#160;Qiu, Xuesong. author.&#160;Kadoch, Michel. author.&#160;Sun, Songlin. author.&#160;Li, Wenjing. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39372-8">https://doi.org/10.1007/978-3-319-39372-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3 ent://SD_ILS/0/SD_ILS:614413 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2526-3">https://doi.org/10.1007/978-81-322-2526-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXVII ent://SD_ILS/0/SD_ILS:616160 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. 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-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety ent://SD_ILS/0/SD_ILS:616149 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Arcak, Murat. author.&#160;Meissen, Chris. author.&#160;Packard, Andrew. 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-29928-0">https://doi.org/10.1007/978-3-319-29928-0</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611230 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Bloem, Roderick. editor.&#160;Arbel, Eli. 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-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611418 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Dregvaite, Giedre. editor.&#160;Damasevicius, Robertas. 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-46254-7">https://doi.org/10.1007/978-3-319-46254-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control ent://SD_ILS/0/SD_ILS:612130 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Goldbach, Tobias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616108 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Gierlichs, Benedikt. editor.&#160;Poschmann, Axel Y. 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-53140-2">https://doi.org/10.1007/978-3-662-53140-2</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK ent://SD_ILS/0/SD_ILS:611371 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Mariani, Stefano. 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-47109-9">https://doi.org/10.1007/978-3-319-47109-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:613086 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Nunes, Ingrid. editor.&#160;Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1 ent://SD_ILS/0/SD_ILS:616366 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Satapathy, Suresh Chandra. editor.&#160;Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313&#160;Mandal, Jyotsna Kumar. editor.&#160;Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2517-1">https://doi.org/10.1007/978-81-322-2517-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Systems Security and Privacy Protection 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617612 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Hoepman, Jaap-Henk. editor.&#160;Katzenbeisser, Stefan. 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-33630-5">https://doi.org/10.1007/978-3-319-33630-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618112 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Ray, Indrajit. editor.&#160;Gaur, Manoj Singh. editor.&#160;Conti, Mauro. editor. (orcid)0000-0002-3612-1934&#160;Sanghi, Dheeraj. editor.&#160;Kamakoti, V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49806-5">https://doi.org/10.1007/978-3-319-49806-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things. IoT Infrastructures Second International Summit, IoT 360&deg; 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618444 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Mandler, Benny. editor.&#160;Marquez-Barja, Johann. editor.&#160;Mitre Campista, Miguel Elias. editor.&#160;Cag&aacute;&#328;ov&aacute;, Dagmar. editor. (orcid)0000-0002-6834-6126&#160;Chaouchi, Hakima. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47075-7">https://doi.org/10.1007/978-3-319-47075-7</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015) ent://SD_ILS/0/SD_ILS:617665 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Abdelrahman, Omer H. editor.&#160;Gelenbe, Erol. editor.&#160;Gorbil, Gokce. editor.&#160;Lent, Ricardo. 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-22635-4">https://doi.org/10.1007/978-3-319-22635-4</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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications ent://SD_ILS/0/SD_ILS:618472 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;M&ouml;ller, Dietmar P.F. author. (orcid)0009-0002-6897-7662&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25178-3">https://doi.org/10.1007/978-3-319-25178-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Cyber Physical Objects in the Future Internet of Things Methods, Architectures and Applications ent://SD_ILS/0/SD_ILS:618070 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Guerrieri, Antonio. editor.&#160;Loscri, Valeria. editor.&#160;Rovella, Anna. editor.&#160;Fortino, Giancarlo. 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-26869-9">https://doi.org/10.1007/978-3-319-26869-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014 ent://SD_ILS/0/SD_ILS:529889 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Kim, Haeng Kon. editor.&#160;Amouzegar, Mahyar A. editor.&#160;Ao, Sio-long. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-7236-5">https://doi.org/10.1007/978-94-017-7236-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Computing in Computer and Information Science ent://SD_ILS/0/SD_ILS:529415 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Wili&#324;ski, Antoni. editor.&#160;Fray, Imed El. editor.&#160;Peja&#347;, Jerzy. 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-15147-2">https://doi.org/10.1007/978-3-319-15147-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-22T06:57:55Z 2026-03-22T06:57:55Z 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/> Running Mainframe z on Distributed Platforms How to Create Robust Cost-Efficient Multiplatform z Environments ent://SD_ILS/0/SD_ILS:618535 2026-03-22T06:57:55Z 2026-03-22T06:57:55Z Author&#160;Barrett, Kenneth. author.&#160;Norris, Stephen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6431-6">https://doi.org/10.1007/978-1-4302-6431-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>