Search Results for Computer Engineering and Networks. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bEngineering$002band$002bNetworks.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-06-09T21:01:52Z Security and Management and Wireless Networks 23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608220 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Daimi, Kevin. editor.&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86637-1">https://doi.org/10.1007/978-3-031-86637-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605299 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Blaas-Schenner, Claudia. editor.&#160;Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016&#160;Haas, Tobias. 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-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605740 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Valencia-Garc&iacute;a, Rafael. editor. (orcid)0000-0003-2457-1791&#160;Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318&#160;Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884&#160;Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766&#160;Vera-Lucio, N&eacute;stor. editor. (orcid)0000-0002-1006-1566<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75702-0">https://doi.org/10.1007/978-3-031-75702-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606046 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Feng, Jun. editor. (orcid)0000-0001-9917-1819&#160;He, Songlin. editor. (orcid)0000-0002-7269-5644&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77095-1">https://doi.org/10.1007/978-3-031-77095-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things - ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606067 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Zhang, Shunli. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77003-6">https://doi.org/10.1007/978-3-031-77003-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606090 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209&#160;De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70415-4">https://doi.org/10.1007/978-3-031-70415-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606684 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462&#160;Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766&#160;Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804&#160;Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113&#160;Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77029-6">https://doi.org/10.1007/978-3-031-77029-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606976 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pautasso, Cesare. editor.&#160;Marcel, Patrick. 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-75110-3">https://doi.org/10.1007/978-3-031-75110-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607607 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Buyya, Rajkumar. editor.&#160;Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83790-6">https://doi.org/10.1007/978-3-031-83790-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607781 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012&#160;Hern&aacute;ndez Callejo, Luis. editor. (orcid)0000-0002-8822-2948&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85324-1">https://doi.org/10.1007/978-3-031-85324-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607963 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229&#160;Stojilovi&#263;, Mirjana. editor. (orcid)0000-0001-5649-5020&#160;Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313&#160;Brox Jim&eacute;nez, Piedad. editor. (orcid)0000-0003-1059-5338&#160;Barriga Barros, &Aacute;ngel. editor. (orcid)0000-0001-6673-6684<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87995-1">https://doi.org/10.1007/978-3-031-87995-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608336 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142&#160;Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739&#160;Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X&#160;Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86623-4">https://doi.org/10.1007/978-3-031-86623-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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608910 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Santoro, Carmen. editor. (orcid)0000-0002-0556-7538&#160;Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990&#160;Matera, Maristella. editor. (orcid)0000-0003-0552-8624&#160;Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95452-8">https://doi.org/10.1007/978-3-031-95452-8</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606490 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X&#160;Kruse, Carola. editor. (orcid)0000-0002-4142-7356&#160;Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73716-9">https://doi.org/10.1007/978-3-031-73716-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607167 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81168-5">https://doi.org/10.1007/978-3-031-81168-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607168 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81171-5">https://doi.org/10.1007/978-3-031-81171-5</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:607514 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83432-5">https://doi.org/10.1007/978-3-031-83432-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607515 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83435-6">https://doi.org/10.1007/978-3-031-83435-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607516 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079&#160;Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479&#160;H&auml;mmerli, Bernhard. editor. (orcid)0000-0001-6251-1154&#160;Pascucci, Federica. editor. (orcid)0000-0002-8226-0716&#160;Faramondi, Luca. editor. (orcid)0000-0002-3750-2405<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84260-3">https://doi.org/10.1007/978-3-031-84260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:607536 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Buyya, Rajkumar. editor.&#160;Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83796-8">https://doi.org/10.1007/978-3-031-83796-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608045 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608061 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904&#160;Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85856-7">https://doi.org/10.1007/978-3-031-85856-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608097 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398&#160;Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87908-1">https://doi.org/10.1007/978-3-031-87908-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborond&oacute;n, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608447 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942&#160;Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572&#160;Montes Le&oacute;n, Sergio. editor. (orcid)0000-0002-2564-4465&#160;Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-89757-3">https://doi.org/10.1007/978-3-031-89757-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborond&oacute;n, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608448 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942&#160;Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572&#160;Montes Le&oacute;n, Sergio. editor. (orcid)0000-0002-2564-4465&#160;Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-89760-3">https://doi.org/10.1007/978-3-031-89760-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609226 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V ent://SD_ILS/0/SD_ILS:609229 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609230 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lees, Michael H. editor. (orcid)0000-0002-5457-9180&#160;Cai, Wentong. editor. (orcid)0000-0002-0183-3835&#160;Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699&#160;Su, Yi. editor.&#160;Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97629-2">https://doi.org/10.1007/978-3-031-97629-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609231 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lees, Michael H. editor. (orcid)0000-0002-5457-9180&#160;Cai, Wentong. editor. (orcid)0000-0002-0183-3835&#160;Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699&#160;Su, Yi. editor.&#160;Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97632-2">https://doi.org/10.1007/978-3-031-97632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609240 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lees, Michael H. editor. (orcid)0000-0002-5457-9180&#160;Cai, Wentong. editor. (orcid)0000-0002-0183-3835&#160;Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699&#160;Su, Yi. editor.&#160;Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97635-3">https://doi.org/10.1007/978-3-031-97635-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609244 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609245 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609246 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606756 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Rey, Ga&euml;tan. editor. (orcid)0000-0003-4710-0474&#160;Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384&#160;Franquet, Erwin. editor. (orcid)0000-0002-7009-1521&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81900-1">https://doi.org/10.1007/978-3-031-81900-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606757 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Rey, Ga&euml;tan. editor. (orcid)0000-0003-4710-0474&#160;Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384&#160;Franquet, Erwin. editor. (orcid)0000-0002-7009-1521&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82065-6">https://doi.org/10.1007/978-3-031-82065-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607331 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pahl, Claus. editor. (orcid)0000-0002-9049-212X&#160;Janes, Andrea. editor. (orcid)0000-0002-1423-6773&#160;Cerny, Tomas. editor. (orcid)0000-0002-5882-5502&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;Esposito, Matteo. editor. (orcid)0000-0002-8451-3668<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84617-5">https://doi.org/10.1007/978-3-031-84617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607375 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Formenti, Enrico. editor. (orcid)0000-0002-1007-7912&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81202-6">https://doi.org/10.1007/978-3-031-81202-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607630 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83207-9">https://doi.org/10.1007/978-3-031-83207-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:607631 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83210-9">https://doi.org/10.1007/978-3-031-83210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:607632 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84078-4">https://doi.org/10.1007/978-3-031-84078-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607565 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Buyya, Rajkumar. editor.&#160;Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83783-8">https://doi.org/10.1007/978-3-031-83783-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607566 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Buyya, Rajkumar. editor.&#160;Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-83793-7">https://doi.org/10.1007/978-3-031-83793-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605498 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945&#160;Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71412-2">https://doi.org/10.1007/978-3-031-71412-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605503 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Neele, Thomas. editor. (orcid)0000-0001-6117-9129&#160;Wijs, Anton. editor. (orcid)0000-0002-2071-9624&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66149-5">https://doi.org/10.1007/978-3-031-66149-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606007 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Zeng, Jing. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77069-2">https://doi.org/10.1007/978-3-031-77069-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606177 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bourke, Timothy. editor. (orcid)0000-0003-0601-4182&#160;Chen, Liqian. editor. (orcid)0000-0001-8084-8009&#160;Goharshady, Amir. editor. (orcid)0000-0003-1702-6584&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0602-3">https://doi.org/10.1007/978-981-96-0602-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609125 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lees, Michael H. editor. (orcid)0000-0002-5457-9180&#160;Cai, Wentong. editor. (orcid)0000-0002-0183-3835&#160;Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699&#160;Su, Yi. editor.&#160;Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97626-1">https://doi.org/10.1007/978-3-031-97626-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:609219 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052&#160;Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382&#160;Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:601804 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Dhurandher, Sanjay Kumar. editor.&#160;Woungang, Isaac. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64064-3">https://doi.org/10.1007/978-3-031-64064-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:601884 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Puthal, Deepak. editor. (orcid)0000-0002-8332-278X&#160;Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541&#160;Choi, Baek-Young. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45878-1">https://doi.org/10.1007/978-3-031-45878-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:601885 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Puthal, Deepak. editor. (orcid)0000-0002-8332-278X&#160;Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541&#160;Choi, Baek-Young. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45882-8">https://doi.org/10.1007/978-3-031-45882-8</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602149 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Hermanns, Holger. editor. (orcid)0000-0002-2766-9615&#160;Sun, Jun. editor.&#160;Bu, Lei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8664-4">https://doi.org/10.1007/978-981-99-8664-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602173 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. 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-48858-0">https://doi.org/10.1007/978-3-031-48858-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602174 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. 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-48930-3">https://doi.org/10.1007/978-3-031-48930-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602269 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Casteleyn, Sven. editor. (orcid)0000-0003-0572-5716&#160;Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918&#160;Garc&iacute;a Sim&oacute;n, Alberto. editor.&#160;Ko, In-Young. editor.&#160;Loseto, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50385-6">https://doi.org/10.1007/978-3-031-50385-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603422 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Gibadullin, Arthur. 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-60318-1">https://doi.org/10.1007/978-3-031-60318-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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:603687 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572&#160;Montes Le&oacute;n, Sergio. editor. (orcid)0000-0002-2564-4465&#160;Torres-Carri&oacute;n, Pablo. editor. (orcid)0000-0002-7606-0582&#160;Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-58956-0">https://doi.org/10.1007/978-3-031-58956-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and &Alpha;&Iota;4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604016 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638&#160;Chochliouros, Ioannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63227-3">https://doi.org/10.1007/978-3-031-63227-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ITNG 2024: 21st International Conference on Information Technology-New Generations ent://SD_ILS/0/SD_ILS:604226 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Latifi, Shahram. 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-56599-1">https://doi.org/10.1007/978-3-031-56599-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604553 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Mart&iacute;-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604788 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872&#160;Serwe, Wendelin. 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-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602247 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Guarda, Teresa. editor. (orcid)0000-0002-9602-0692&#160;Portela, Filipe. editor. (orcid)0000-0003-2181-6837&#160;Diaz-Nafria, Jose Maria. 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-48855-9">https://doi.org/10.1007/978-3-031-48855-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency XVII ent://SD_ILS/0/SD_ILS:602326 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Koutny, Maciej. editor.&#160;Bergenthum, Robin. editor.&#160;Ciardo, Gianfranco. 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-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602370 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Feng, Jun. editor. (orcid)0000-0001-9917-1819&#160;Jiang, Frank. editor.&#160;Luo, Min. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51826-3">https://doi.org/10.1007/978-3-031-51826-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602379 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Ye, Kejiang. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51734-1">https://doi.org/10.1007/978-3-031-51734-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:602504 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pereira, Ana I. editor. (orcid)0000-0003-3803-2043&#160;Mendes, Armando. editor.&#160;Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460&#160;Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391&#160;Coelho, Jo&atilde;o P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53036-4">https://doi.org/10.1007/978-3-031-53036-4</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603086 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213&#160;Sinha, Arunesh. 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-56255-6">https://doi.org/10.1007/978-3-031-56255-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604072 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pickl, Stefan. editor. (orcid)0000-0001-5549-6259&#160;H&auml;mmerli, Bernhard. editor. (orcid)0000-0001-6251-1154&#160;Mattila, P&auml;ivi. editor. (orcid)0000-0002-1683-2392&#160;Sevillano, Annaleena. editor. (orcid)0000-0002-8204-1791&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62139-0">https://doi.org/10.1007/978-3-031-62139-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604078 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604079 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604080 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604091 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604092 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:604093 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604114 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Franco, Leonardo. editor. (orcid)0000-0003-0012-5914&#160;de Mulatier, Cl&eacute;lia. editor. (orcid)0000-0003-3578-5453&#160;Paszynski, Maciej. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604337 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Th&oacute;risson, Kristinn R. editor. (orcid)0000-0003-3842-0564&#160;Isaev, Peter. editor.&#160;Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604654 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Dhurandher, Sanjay Kumar. editor.&#160;Woungang, Isaac. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64067-4">https://doi.org/10.1007/978-3-031-64067-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604655 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Dhurandher, Sanjay Kumar. editor.&#160;Woungang, Isaac. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64070-4">https://doi.org/10.1007/978-3-031-64070-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604656 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Verma, Anshul. editor.&#160;Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500&#160;Pattanaik, Kiran Kumar. editor.&#160;Dhurandher, Sanjay Kumar. editor.&#160;Woungang, Isaac. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64076-6">https://doi.org/10.1007/978-3-031-64076-6</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605064 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70068-2">https://doi.org/10.1007/978-3-031-70068-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605065 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70071-2">https://doi.org/10.1007/978-3-031-70071-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605066 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70085-9">https://doi.org/10.1007/978-3-031-70085-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604961 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70365-2">https://doi.org/10.1007/978-3-031-70365-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:604962 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Daniu&scaron;is, Povilas. editor. (orcid)0000-0001-5977-827X&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70371-3">https://doi.org/10.1007/978-3-031-70371-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:604963 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967&#160;Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70378-2">https://doi.org/10.1007/978-3-031-70378-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:604964 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967&#160;Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70381-2">https://doi.org/10.1007/978-3-031-70381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606686 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pereira, Ana I. editor. (orcid)0000-0003-3803-2043&#160;Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460&#160;Coelho, Jo&atilde;o P. editor. (orcid)0000-0002-7616-1383&#160;Teixeira, Jo&atilde;o P. editor. (orcid)0000-0002-6679-5702&#160;Lima, Jos&eacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77426-3">https://doi.org/10.1007/978-3-031-77426-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606687 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pereira, Ana I. editor. (orcid)0000-0003-3803-2043&#160;Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460&#160;Coelho, Jo&atilde;o P. editor. (orcid)0000-0002-7616-1383&#160;Teixeira, Jo&atilde;o P. editor. (orcid)0000-0002-6679-5702&#160;Lima, Jos&eacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77432-4">https://doi.org/10.1007/978-3-031-77432-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602425 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Jordan, Vladimir. editor.&#160;Tarasov, Ilya. editor.&#160;Shurina, Ella. editor.&#160;Filimonov, Nikolay. editor.&#160;Faerman, Vladimir A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602471 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012&#160;Hern&aacute;ndez Callejo, Luis. editor. (orcid)0000-0002-8822-2948&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52517-9">https://doi.org/10.1007/978-3-031-52517-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:602476 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Pereira, Ana I. editor. (orcid)0000-0003-3803-2043&#160;Mendes, Armando. editor.&#160;Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460&#160;Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391&#160;Coelho, Jo&atilde;o P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53025-8">https://doi.org/10.1007/978-3-031-53025-8</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602825 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Badioze Zaman, Halimah. editor.&#160;Robinson, Peter. editor.&#160;Smeaton, Alan F. editor.&#160;De Oliveira, Renato Lima. editor.&#160;J&oslash;rgensen, Bo N&oslash;rregaard. editor. (orcid)0000-0001-5678-6602<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7339-2">https://doi.org/10.1007/978-981-99-7339-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings ent://SD_ILS/0/SD_ILS:602838 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416&#160;Brox Jim&eacute;nez, Piedad. editor. (orcid)0000-0003-1059-5338&#160;V&eacute;stias, M&aacute;rio. editor.&#160;Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55673-9">https://doi.org/10.1007/978-3-031-55673-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602897 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Wu, Celimuge. editor.&#160;Chen, Xianfu. editor.&#160;Feng, Jie. editor.&#160;Wu, Zhen. 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-55471-1">https://doi.org/10.1007/978-3-031-55471-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&amp;IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604021 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lupeikien&#279;, Audron&#279;. editor. (orcid)0000-0001-6011-3072&#160;Ralyt&eacute;, Jolita. editor. (orcid)0000-0001-8561-3567&#160;Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63543-4">https://doi.org/10.1007/978-3-031-63543-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:604027 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572&#160;Montes Le&oacute;n, Sergio. editor. (orcid)0000-0002-2564-4465&#160;Torres-Carri&oacute;n, Pablo. editor. (orcid)0000-0002-7606-0582&#160;Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-58950-8">https://doi.org/10.1007/978-3-031-58950-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604145 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801&#160;Schmidt, Renate 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-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604146 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801&#160;Schmidt, Renate 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-63501-4">https://doi.org/10.1007/978-3-031-63501-4</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:604937 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70368-3">https://doi.org/10.1007/978-3-031-70368-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605026 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70341-6">https://doi.org/10.1007/978-3-031-70341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605063 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294&#160;Kononova, Anna V. editor. (orcid)0000-0002-4138-7024&#160;Trautmann, Heike. editor. (orcid)0000-0002-9788-8282&#160;Tu&scaron;ar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70055-2">https://doi.org/10.1007/978-3-031-70055-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604871 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;Soudjani, Sadegh. editor.&#160;Waga, Masaki. editor. (orcid)0000-0001-9360-7490&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604884 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70344-7">https://doi.org/10.1007/978-3-031-70344-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604885 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70359-1">https://doi.org/10.1007/978-3-031-70359-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604886 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70362-1">https://doi.org/10.1007/978-3-031-70362-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers ent://SD_ILS/0/SD_ILS:607124 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987&#160;Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70947-0">https://doi.org/10.1007/978-3-031-70947-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krak&oacute;w, Poland, September 30 - October 4, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:610523 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Nowaczyk, S&#322;awomir. editor.&#160;Biecek, Przemys&#322;aw. editor.&#160;Chung, Neo Christopher. editor.&#160;Vallati, Mauro. editor. (orcid)0000-0002-8429-3570&#160;Skruch, Pawe&#322;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50485-3">https://doi.org/10.1007/978-3-031-50485-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krak&oacute;w, Poland, September 30 - October 4, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:610623 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Nowaczyk, S&#322;awomir. editor.&#160;Biecek, Przemys&#322;aw. editor.&#160;Chung, Neo Christopher. editor.&#160;Vallati, Mauro. editor. (orcid)0000-0002-8429-3570&#160;Skruch, Pawe&#322;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50396-2">https://doi.org/10.1007/978-3-031-50396-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602977 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281&#160;Bellatreche, Ladjel. editor.&#160;Gargouri, Faiez. editor.&#160;Guegan, Chirine Ghedira. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55729-3">https://doi.org/10.1007/978-3-031-55729-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604910 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bifet, Albert. editor. (orcid)0000-0002-8339-7773&#160;Davis, Jesse. editor. (orcid)0000-0002-3748-9263&#160;Krilavi&#269;ius, Tomas. editor. (orcid)0000-0001-8509-420X&#160;Kull, Meelis. editor. (orcid)0000-0001-9257-595X&#160;Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70352-2">https://doi.org/10.1007/978-3-031-70352-2</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> 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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612044 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Fantechi, Alessandro. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613483 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Tryfonas, Theo. 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-58460-7">https://doi.org/10.1007/978-3-319-58460-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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614260 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> 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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615981 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Gabmeyer, Sebastian. editor.&#160;Johnsen, Einar Broch. 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-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616863 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Lopes, Ant&oacute;nia. editor.&#160;de Lemos, Rog&eacute;rio. 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-65831-5">https://doi.org/10.1007/978-3-319-65831-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610725 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Maedche, Alexander. editor.&#160;vom Brocke, Jan. editor.&#160;Hevner, Alan. editor. (orcid)0000-0003-4953-3900&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59144-5">https://doi.org/10.1007/978-3-319-59144-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611057 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Holzinger, Andreas. editor.&#160;Goebel, Randy. editor. (orcid)0000-0002-0739-2946&#160;Ferri, Massimo. editor.&#160;Palade, Vasile. 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-69775-8">https://doi.org/10.1007/978-3-319-69775-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611748 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Gaspers, Serge. editor.&#160;Walsh, Toby. 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-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613140 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Rothe, J&ouml;rg. editor. (orcid)0000-0002-0589-3616&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67504-6">https://doi.org/10.1007/978-3-319-67504-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613144 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. 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-68972-2">https://doi.org/10.1007/978-3-319-68972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613242 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;D'Souza, Deepak. editor.&#160;Narayan Kumar, K. 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-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613295 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656&#160;An, Hong. editor.&#160;Wang, Chao. editor.&#160;Kandemir, Mahmut. editor.&#160;Jin, Hai. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68210-5">https://doi.org/10.1007/978-3-319-68210-5</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613738 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Cs&ouml;ndes, Tibor. editor.&#160;Kov&aacute;cs, G&aacute;bor. editor.&#160;R&eacute;thy, Gy&ouml;rgy. 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-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612752 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z 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-66266-4">https://doi.org/10.1007/978-3-319-66266-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616323 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Malyshkin, Victor. 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-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616359 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. 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-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support ent://SD_ILS/0/SD_ILS:617851 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Kolesnikov, Andrey. 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-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617888 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;L&oacute;pez-Santana, Eduyn Ramiro. editor.&#160;Villa-Ram&iacute;rez, Jos&eacute; Luis. editor.&#160;Ferro-Escobar, Roberto. 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-66963-2">https://doi.org/10.1007/978-3-319-66963-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616686 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Wong, Stephan. editor.&#160;Beck, Antonio Carlos. editor.&#160;Bertels, Koen. editor.&#160;Carro, Luigi. 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-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Broker and Cloudlet for Workflow Scheduling ent://SD_ILS/0/SD_ILS:617265 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Youn, Chan-Hyun. author.&#160;Chen, Min. author.&#160;Dazzi, Patrizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy ent://SD_ILS/0/SD_ILS:615928 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#160;Bouchenak, Sara. editor.&#160;Kopetz, Hermann. 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-47590-5">https://doi.org/10.1007/978-3-319-47590-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616992 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Gao, Guang R. editor.&#160;Qian, Depei. editor.&#160;Gao, Xinbo. editor.&#160;Chapman, Barbara. editor.&#160;Chen, Wenguang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47099-3">https://doi.org/10.1007/978-3-319-47099-3</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/> Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogot&aacute;, Colombia, September 21-23, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617903 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;L&oacute;pez-Santana, Eduyn Ramiro. editor.&#160;Ferro-Escobar, Roberto. 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-50880-1">https://doi.org/10.1007/978-3-319-50880-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611434 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Skavhaug, Amund. editor.&#160;Guiochet, J&eacute;r&eacute;mie. 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-45477-1">https://doi.org/10.1007/978-3-319-45477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611232 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Wierzbicki, Adam. editor.&#160;Brandes, Ulrik. editor.&#160;Schweitzer, Frank. editor.&#160;Pedreschi, Dino. 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-28361-6">https://doi.org/10.1007/978-3-319-28361-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Architecture An Ordinary Engineering Discipline ent://SD_ILS/0/SD_ILS:612989 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Paul, Wolfgang J. author.&#160;Baumann, Christoph. author.&#160;Lutsyk, Petro. author.&#160;Schmaltz, Sabine. 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-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontier Computing Theory, Technologies and Applications ent://SD_ILS/0/SD_ILS:614931 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Hung, Jason C. editor.&#160;Yen, Neil Y. editor.&#160;Li, Kuan-Ching. 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-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616231 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. 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-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description and Selection of Communication Services for Service Oriented Network Architectures ent://SD_ILS/0/SD_ILS:617834 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Khondoker, Rahamatullah. 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-12742-8">https://doi.org/10.1007/978-3-658-12742-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616026 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Chaudhuri, Swarat. editor.&#160;Farzan, Azadeh. 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-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616055 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Chaudhuri, Swarat. editor.&#160;Farzan, Azadeh. 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-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Network Hacks Attack and Defense with Python ent://SD_ILS/0/SD_ILS:530100 2026-06-09T21:01:52Z 2026-06-09T21:01:52Z Author&#160;Ballmann, Bastian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44437-5">https://doi.org/10.1007/978-3-662-44437-5</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-06-09T21:01:52Z 2026-06-09T21:01:52Z 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/>