Search Results for Software engineering. - Narrowed by: Computer systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystems.$002509Computer$002bsystems.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-14T23:23:12Z Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608299 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Boronat, Artur. editor. (orcid)0000-0003-2024-1736&#160;Fraser, Gordon. editor. (orcid)0000-0002-4364-6595&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606203 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures ent://SD_ILS/0/SD_ILS:607973 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605717 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605048 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Dom&iacute;nguez Mayo, Francisco Jos&eacute;. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Seidewitz, Edwin. 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-66339-0">https://doi.org/10.1007/978-3-031-66339-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603161 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604608 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616117 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Anjorin, Anthony. editor.&#160;Espinoza, Hu&aacute;scar. 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-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616106 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Guerra, Esther. editor.&#160;van den Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610998 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Terboven, Christian. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608635 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Aiswarya, C. editor. (orcid)0000-0002-4878-7581&#160;Sen, Prabal Kumar. editor.&#160;Srivastava, Shashi Mohan. 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-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:607084 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Antonov, Alexander. editor. (orcid)0000-0003-2820-7196&#160;Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78462-0">https://doi.org/10.1007/978-3-031-78462-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608091 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Kanhere, Salil. editor. (orcid)0000-0002-1835-3475&#160;Jurdak, Raja. editor. (orcid)0000-0001-7517-0782&#160;Parkinson, Joy. editor.&#160;Sridharan, Bhavani. editor.&#160;Pal, Shantanu. editor. (orcid)0000-0002-8784-0154<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4442-1">https://doi.org/10.1007/978-981-96-4442-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605572 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Hern&aacute;ndez, German. editor. (orcid)0000-0001-9549-2316&#160;Suero P&eacute;rez, Diego Fernando. editor. (orcid)0000-0002-0760-0186&#160;Gaona Garc&iacute;a, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74595-9">https://doi.org/10.1007/978-3-031-74595-9</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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers ent://SD_ILS/0/SD_ILS:605799 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601541 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Sheen, Shina. editor. (orcid)0000-0002-8624-4174&#160;R., Latha. editor. (orcid)0000-0001-7011-1329&#160;U. K., Sridevi. editor. (orcid)0000-0003-2445-9193&#160;P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222&#160;M., Thilaga. editor. (orcid)0000-0002-7177-958X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-88297-5">https://doi.org/10.1007/978-3-031-88297-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608337 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050&#160;Raad, Azalea. editor. (orcid)0000-0002-2319-3242&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607083 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Antonov, Alexander. editor. (orcid)0000-0003-2820-7196&#160;Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78459-0">https://doi.org/10.1007/978-3-031-78459-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607065 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78380-7">https://doi.org/10.1007/978-3-031-78380-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607064 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:609356 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605573 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Hern&aacute;ndez, German. editor. (orcid)0000-0001-9549-2316&#160;Suero P&eacute;rez, Diego Fernando. editor. (orcid)0000-0002-0760-0186&#160;Gaona Garc&iacute;a, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74598-0">https://doi.org/10.1007/978-3-031-74598-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606755 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75434-0">https://doi.org/10.1007/978-3-031-75434-0</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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> 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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605472 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608785 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996&#160;Eichler, Gerald. editor. (orcid)0000-0002-7420-698X&#160;Erfurth, Christian. editor. (orcid)0000-0003-2761-3985&#160;Fahrnberger, G&uuml;nter. editor. (orcid)0000-0002-2606-3988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94263-1">https://doi.org/10.1007/978-3-031-94263-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605783 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:605738 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605736 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings ent://SD_ILS/0/SD_ILS:601657 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Cheikh M. F. Kebe, Kebe. editor.&#160;Gueye, Assane. editor. (orcid)0000-0001-6469-4716&#160;Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973&#160;Sene, Nd&egrave;ye Awa. editor.&#160;Maiga, Amadou-Seidou. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86493-3">https://doi.org/10.1007/978-3-031-86493-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606768 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73372-7">https://doi.org/10.1007/978-3-031-73372-7</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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605053 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224&#160;Clarke, Paul. editor. (orcid)0000-0002-4487-627X&#160;Riel, Andreas. editor. (orcid)0000-0001-9859-019X&#160;Messnarz, Richard. editor. (orcid)0000-0002-0555-3160&#160;Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71139-8">https://doi.org/10.1007/978-3-031-71139-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605054 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224&#160;Clarke, Paul. editor. (orcid)0000-0002-4487-627X&#160;Riel, Andreas. editor. (orcid)0000-0001-9859-019X&#160;Messnarz, Richard. editor. (orcid)0000-0002-0555-3160&#160;Greiner, Christian. editor. (orcid)0000-0002-8184-7128<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71142-8">https://doi.org/10.1007/978-3-031-71142-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602492 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602493 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Seeam, Amar. editor.&#160;Ramsurrun, Visham. editor.&#160;Juddoo, Suraj. editor.&#160;Phokeer, Amreesh. 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-51849-2">https://doi.org/10.1007/978-3-031-51849-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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603719 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Phillipson, Frank. editor. (orcid)0000-0003-4580-7521&#160;Eichler, Gerald. editor. (orcid)0000-0002-7420-698X&#160;Erfurth, Christian. editor. (orcid)0000-0003-2761-3985&#160;Fahrnberger, G&uuml;nter. 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-60433-1">https://doi.org/10.1007/978-3-031-60433-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602352 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;C&aacute;mara, Javier. editor.&#160;Jongmans, Sung-Shik. 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-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603567 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Miller, Dale. editor. (orcid)0000-0003-0274-4954&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602298 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603134 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Goel, Sanjay. editor. (orcid)0000-0002-7164-8395&#160;Nunes de Souza, Paulo 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-031-56580-9">https://doi.org/10.1007/978-3-031-56580-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605075 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673&#160;Sun, Meng. 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-71261-6">https://doi.org/10.1007/978-3-031-71261-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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> 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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602456 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554&#160;Wu, Yulei. editor. (orcid)0000-0003-0801-8443&#160;Xu, Min. 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-52265-9">https://doi.org/10.1007/978-3-031-52265-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603643 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341&#160;Dom&iacute;nguez Mayo, Francisco Jos&eacute;. editor.&#160;van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604456 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Reynolds, Andrew. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602129 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595&#160;Ferreira, Joao C. editor.&#160;Kocian, Alexander. editor.&#160;Tokkozhina, Ulpan. editor.&#160;Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602136 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11-12, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:604763 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Wang, Jianping. editor. (orcid)0000-0002-9318-1482&#160;Xiao, Bin. editor. (orcid)0000-0003-4223-8220&#160;Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5760-2">https://doi.org/10.1007/978-981-97-5760-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601939 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Li, Chao. editor. (orcid)0000-0001-6218-4659&#160;Li, Zhenhua. editor. (orcid)0000-0001-7286-122X&#160;Shen, Li. editor. (orcid)0000-0001-9043-2998&#160;Wu, Fan. editor. (orcid)0000-0003-0965-9058&#160;Gong, Xiaoli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Service-Oriented Computing - ICSOC 2023 Workshops AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602892 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Monti, Flavia. editor. (orcid)0000-0003-3349-7861&#160;Plebani, Pierluigi. editor.&#160;Moha, Naouel. editor.&#160;Paik, Hye-young. editor.&#160;Barzen, Johanna. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-0989-2">https://doi.org/10.1007/978-981-97-0989-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Grid and Internet of Things 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602883 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X&#160;Chen, Jyh-Cheng. 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-55976-1">https://doi.org/10.1007/978-3-031-55976-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602546 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z 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/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602654 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. 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-54521-4">https://doi.org/10.1007/978-3-031-54521-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602656 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. 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-54531-3">https://doi.org/10.1007/978-3-031-54531-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602655 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. 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-54528-3">https://doi.org/10.1007/978-3-031-54528-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611609 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Fischer, Wieland. editor.&#160;Homma, Naofumi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66787-4">https://doi.org/10.1007/978-3-319-66787-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616071 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616016 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Igua&ccedil;u, Brazil, November 3-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:618261 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;G&ouml;tz, Marcelo. editor.&#160;Schirner, Gunar. editor.&#160;Wehrmeister, Marco Aur&eacute;lio. editor.&#160;Al Faruque, Mohammad Abdullah. editor.&#160;Rettberg, Achim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611089 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Wahlster, Wolfgang. editor.&#160;Strasser, Thomas. editor.&#160;Kadera, Petr. 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-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616254 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Knoop, Jens. editor.&#160;Karl, Wolfgang. editor.&#160;Schulz, Martin. editor.&#160;Inoue, Koji. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering ent://SD_ILS/0/SD_ILS:617792 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Dick, Jeremy. author.&#160;Hull, Elizabeth. author.&#160;Jackson, Ken. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:615974 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Ding, Chen. editor.&#160;Criswell, John. editor.&#160;Wu, Peng. 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-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612464 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Hannig, Frank. editor. (orcid)0000-0003-3663-6484&#160;Cardoso, Jo&atilde;o M.P. editor.&#160;Pionteck, Thilo. editor.&#160;Fey, Dietmar. editor. (orcid)0000-0002-6077-4732&#160;Schr&ouml;der-Preikschat, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30695-7">https://doi.org/10.1007/978-3-319-30695-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618193 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. 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-49283-3">https://doi.org/10.1007/978-3-662-49283-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internetware A New Software Paradigm for Internet Computing ent://SD_ILS/0/SD_ILS:615189 2026-03-14T23:23:12Z 2026-03-14T23:23:12Z Author&#160;Mei, Hong. author.&#160;L&uuml;, Jian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2546-4">https://doi.org/10.1007/978-981-10-2546-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>