Limit Search Results
Author
SpringerLink (Online service)
(1215)
Huang, De-Shuang. editor.
(55)
Zha, Hongbin. editor.
(25)
Chen, Wei. editor. (orcid)0000-0002-7663-278X
(24)
Pan, Yijie. editor.
(24)
Language
English
(1215)
Publication Date
-
2024
(400)
2025
(357)
2017
(247)
2016
(191)
2014
(11)
Subject
Computer Communication Networks.
(960)
Application software.
(883)
Computer and Information Systems Applications.
(883)
Artificial intelligence.
(560)
Software engineering.
(439)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1215 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Author 
Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Author 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Author 
Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67549-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
Author 
Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69926-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Author 
de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Author 
Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Defined Networking Applications in Distributed Datacenters
Software Defined Networking Applications in Distributed Datacenters
Author 
Qi, Heng. author. Li, Keqiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33135-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Author 
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50230-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Author 
Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings
Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings
Author 
Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75201-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Author 
Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0602-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
Author 
Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78392-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
Author 
Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78386-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings
Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings
Author 
Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 Čeponis, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84263-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87054-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
Author 
Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Author 
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I
Author 
Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II
Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II
Author 
Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71142-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
Author 
Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48796-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
Author 
Scheer, August-Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-43089-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
Author 
Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49266-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
Author 
Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49269-3
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Author 
Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8664-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings
Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings
Author 
Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48981-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61753-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings
Author 
Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64573-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Author 
Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers
Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers
Author 
Magno, Michele. editor. Ferrero, Fabien. editor. Bilas, Vedran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61563-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Author 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Author 
Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62105-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
Author 
Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67642-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Piessens, Frank. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49635-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
Author 
Goldbach, Tobias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Author 
Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
Author 
Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46254-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Author 
Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68136-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings
Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings
Author 
Hara, Yoshinori. editor. Karagiannis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61240-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Author 
Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61994-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Author 
Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57858-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings
Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings
Author 
Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69035-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
Author 
Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Theory and Models for Cyber Situation Awareness
Theory and Models for Cyber Situation Awareness
Author 
Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61152-5
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Author 
Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50995-2
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Author 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Author 
Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Author 
Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50539-7
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Author 
Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Author 
Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29817-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I
Author 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69462-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Author 
Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings
Author 
Traore, Issa. editor. Woungang, Isaac. editor. Awad, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66266-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Author 
Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Author 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Author 
Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47590-5
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
Author 
Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73370-3
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers
Author 
Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. (orcid)0000-0001-8332-5860 Berns, Karsten. editor. Vinel, Alexey. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70966-1
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II
Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74598-0
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Author 
Devos, Arnaud. editor. (orcid)0000-0001-8124-723X Horváth, András. editor. (orcid)0000-0002-8210-545X Rossi, Sabina. editor. (orcid)0000-0002-1189-4439 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70753-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XV
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XV
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part V
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part V
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8620-6
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings
IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings
Author 
Chen, Xiang. editor. Wang, Xijun. editor. Lin, Shangjing. editor. Liu, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70507-6
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings
Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings
Author 
Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75431-9
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XIV
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XIV
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VI
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VI
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8508-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VII
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VII
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8511-7
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VIII
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part VIII
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part II
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part II
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part I
Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part I
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Takabi, Daniel. editor. (orcid)0000-0003-0447-3641 Guo, Shaoyong. editor. (orcid)0000-0003-2033-8431 Zou, Yifei. editor. (orcid)0000-0003-4579-5380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71464-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part II
Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part II
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Takabi, Daniel. editor. (orcid)0000-0003-0447-3641 Guo, Shaoyong. editor. (orcid)0000-0003-2033-8431 Zou, Yifei. editor. (orcid)0000-0003-4579-5380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71467-2
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Takabi, Daniel. editor. (orcid)0000-0003-0447-3641 Guo, Shaoyong. editor. (orcid)0000-0003-2033-8431 Zou, Yifei. editor. (orcid)0000-0003-4579-5380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Zeng, Jing. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77069-2
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III
Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III
Author 
Santos, Manuel Filipe. editor. Machado, José. editor. (orcid)0000-0003-4121-6169 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Cortez, Paulo. editor. (orcid)0000-0002-7991-2090 Moreira, Pedro Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73503-5
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I
Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I
Author 
Santos, Manuel Filipe. editor. Machado, José. editor. (orcid)0000-0003-4121-6169 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Cortez, Paulo. editor. (orcid)0000-0002-7991-2090 Moreira, Pedro Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73497-7
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II
Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II
Author 
Santos, Manuel Filipe. editor. Machado, José. editor. (orcid)0000-0003-4121-6169 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Cortez, Paulo. editor. (orcid)0000-0002-7991-2090 Moreira, Pedro Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73500-4
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Feng, Jun. editor. (orcid)0000-0001-9917-1819 He, Songlin. editor. (orcid)0000-0002-7269-5644 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77095-1
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77153-8
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for 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
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
Author 
Zhang, Shunli. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77003-6
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for 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
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
Author 
Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209 De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70415-4
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I
Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I
Author 
Karpov, Alexey. editor. (orcid)0000-0003-3424-652X Delić, Vlado. editor. (orcid)0000-0002-4558-9918 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77961-9
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II
Speech and Computer 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II
Author 
Karpov, Alexey. editor. (orcid)0000-0003-3424-652X Delić, Vlado. editor. (orcid)0000-0002-4558-9918 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78014-1
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Wireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigms
Wireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigms
Author 
Lin, Chi. author. (orcid)0000-0002-0302-5102 Sun, Yu. author. (orcid)0000-0002-2823-8251 Yang, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for AI 2024: Advances in Artificial Intelligence 37th Australasian Joint Conference on Artificial Intelligence, AI 2024, Melbourne, VIC, Australia, November 25-29, 2024, Proceedings, Part I
AI 2024: Advances in Artificial Intelligence 37th Australasian Joint Conference on Artificial Intelligence, AI 2024, Melbourne, VIC, Australia, November 25-29, 2024, Proceedings, Part I
Author 
Gong, Mingming. editor. (orcid)0000-0001-7147-5589 Song, Yiliao. editor. (orcid)0000-0002-6633-2695 Koh, Yun Sing. editor. (orcid)0000-0001-7256-4049 Xiang, Wei. editor. (orcid)0000-0002-0608-065X Wang, Derui. editor. (orcid)0000-0003-1388-7715
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0348-0
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for AI 2024: Advances in Artificial Intelligence 37th Australasian Joint Conference on Artificial Intelligence, AI 2024, Melbourne, VIC, Australia, November 25-29, 2024, Proceedings, Part II
AI 2024: Advances in Artificial Intelligence 37th Australasian Joint Conference on Artificial Intelligence, AI 2024, Melbourne, VIC, Australia, November 25-29, 2024, Proceedings, Part II
Author 
Gong, Mingming. editor. (orcid)0000-0001-7147-5589 Song, Yiliao. editor. (orcid)0000-0002-6633-2695 Koh, Yun Sing. editor. (orcid)0000-0001-7256-4049 Xiang, Wei. editor. (orcid)0000-0002-0608-065X Wang, Derui. editor. (orcid)0000-0003-1388-7715
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0351-0
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
Author 
Reyes-Lecuona, Arcadio. editor. Zachmann, Gabriel. editor. (orcid)0000-0001-8155-1127 Bordegoni, Monica. editor. (orcid)0000-0001-9378-8295 Chen, Jian. editor. Karaseitanidis, Giannis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78593-1
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Human Aspects of Information Security and Assurance 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9-11, 2024, Proceedings, Part II
Human Aspects of Information Security and Assurance 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9-11, 2024, Proceedings, Part II
Author 
Clarke, Nathan. editor. (orcid)0000-0002-3595-3800 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72563-0
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Advances in Mobile Computing and Multimedia Intelligence 22nd International Conference, MoMM 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings
Advances in Mobile Computing and Multimedia Intelligence 22nd International Conference, MoMM 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings
Author 
Delir Haghighi, Pari. editor. (orcid)0000-0001-9922-1214 Fedushko, Solomiia. editor. (orcid)0000-0001-7548-5856 Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Khalil, Ismail. editor. (orcid)0000-0003-2493-3414 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78049-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Information Integration and Web Intelligence 26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings, Part I
Information Integration and Web Intelligence 26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings, Part I
Author 
Delir Haghighi, Pari. editor. (orcid)0000-0001-9922-1214 Greguš, Michal. editor. (orcid)0000-0001-6207-1347 Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Khalil, Ismail. editor. (orcid)0000-0003-2493-3414 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78090-5
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Information Integration and Web Intelligence 26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings, Part II
Information Integration and Web Intelligence 26th International Conference, iiWAS 2024, Bratislava, Slovak Republic, December 2-4, 2024, Proceedings, Part II
Author 
Delir Haghighi, Pari. editor. (orcid)0000-0001-9922-1214 Greguš, Michal. editor. (orcid)0000-0001-6207-1347 Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Khalil, Ismail. editor. (orcid)0000-0003-2493-3414 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78093-6
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part I
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part I
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0885-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VIII
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VIII
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0966-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I
Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I
Author 
Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0805-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II
Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II
Author 
Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part II
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part II
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0901-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part V
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part V
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0917-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VI
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VI
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0960-4
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VII
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part VII
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0963-5
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VI
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VI
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0938-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part VIII
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part VIII
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0944-4
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IX
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IX
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part IX
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part IX
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0969-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part III
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part III
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0891-1
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73716-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0935-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part X
Computer Vision - ACCV 2024 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8-12, 2024, Proceedings, Part X
Author 
Cho, Minsu. editor. (orcid)0000-0001-7030-1958 Laptev, Ivan. editor. Tran, Du. editor. Yao, Angela. editor. (orcid)0000-0001-7418-6141 Zha, Hongbin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0972-7
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II
Author 
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Author 
Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82065-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Author 
Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7752-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I
HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78516-0
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II
HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78531-3
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III
HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81241-5
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81244-6
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part II
Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part II
Author 
Onizuka, Makoto. editor. (orcid)0000-0001-5559-8300 Lee, Jae-Gil. editor. (orcid)0000-0002-8711-7732 Tong, Yongxin. editor. (orcid)0000-0002-5598-0312 Xiao, Chuan. editor. (orcid)0000-0001-7239-5134 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5779-4
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part III
Database Systems for Advanced Applications 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part III
Author 
Onizuka, Makoto. editor. (orcid)0000-0001-5559-8300 Lee, Jae-Gil. editor. (orcid)0000-0002-8711-7732 Tong, Yongxin. editor. (orcid)0000-0002-5598-0312 Xiao, Chuan. editor. (orcid)0000-0001-7239-5134 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5555-4
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Innovations of Intelligent Informatics, Networking, and Cybersecurity Second International Conference, 3INC 2024, Babylon, Iraq, October 15-16, 2024, Proceedings
Innovations of Intelligent Informatics, Networking, and Cybersecurity Second International Conference, 3INC 2024, Babylon, Iraq, October 15-16, 2024, Proceedings
Author 
Al-Mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Al-Sherbaz, Ali. editor. (orcid)0000-0002-0995-1262 Kanakis, Triantafyllos. editor. (orcid)0000-0002-3492-037X Albahri, Ahmed S. editor. (orcid)0000-0003-3335-457X Bhaya, Wesam S. editor. (orcid)0000-0003-1751-2718
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0792-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Secure IT Systems 29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6-7, 2024 Proceedings
Secure IT Systems 29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6-7, 2024 Proceedings
Author 
Horn Iwaya, Leonardo. editor. (orcid)0000-0001-9005-0543 Kamm, Liina. editor. (orcid)0000-0003-1479-2195 Martucci, Leonardo. editor. (orcid)0000-0002-9980-3473 Pulls, Tobias. editor. (orcid)0000-0001-6459-8409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79007-2
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part II
Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part II
Author 
Liu, Joseph K. editor. Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Sun, Shi-Feng. editor. Liu, Xiaoning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0957-4
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I
Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I
Author 
Liu, Joseph K. editor. Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Sun, Shi-Feng. editor. Liu, Xiaoning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0954-3
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers
Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers
Author 
Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Buyya, Rajkumar. editor. Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Godboley, Sangharatna. editor. (orcid)0000-0002-6169-6334
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79041-6
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Author 
Lee, Jong-Hyouk. editor. (orcid)0000-0002-1753-1284 Emura, Keita. editor. (orcid)0000-0002-8969-3581 Lee, Sokjoon. editor. (orcid)0000-0002-4632-8322 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0777-8
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part II
Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part II
Author 
Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78679-2
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II
Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II
Author 
Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80775-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings
Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings
Author 
Pahl, Claus. editor. (orcid)0000-0002-9049-212X Janes, Andrea. editor. (orcid)0000-0002-1423-6773 Cerny, Tomas. editor. (orcid)0000-0002-5882-5502 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Esposito, Matteo. editor. (orcid)0000-0002-8451-3668
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I
Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I
Author 
Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78676-1
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
Author 
Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81888-2
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Author 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82021-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computer Supported Cooperative Work and Social Computing 19th CCF Conference, ChineseCSCW 2024, Hohhot, China, July 12-14, 2024, Revised Selected Papers, Part I
Computer Supported Cooperative Work and Social Computing 19th CCF Conference, ChineseCSCW 2024, Hohhot, China, July 12-14, 2024, Revised Selected Papers, Part I
Author 
Sun, Hailong. editor. Fan, Hongfei. editor. Gao, Yongqiang. editor. Wang, Xiaokang. editor. Liu, Dongning. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2373-0
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II
Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II
Author 
Gupta, Manish. editor. Agrawal, Shikha. editor. Gupta, Kamlesh. editor. Agrawal, Jitendra. editor. Cengis, Korhan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69115-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV
Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV
Author 
Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83796-8
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings
Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings
Author 
Bădică, Costin. editor. (orcid)0000-0001-8480-9867 Gušev, Marjan. editor. (orcid)0000-0003-0351-9783 Iftene, Adrian. editor. (orcid)0000-0003-3564-8440 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84093-7
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Geographical Information Systems 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings
Geographical Information Systems 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings
Author 
Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Elisabeth Ballari, Daniela. editor. (orcid)0000-0002-6926-4827 León-Borges, José Antonio. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80017-7
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for 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
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
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83207-9
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for 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
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
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for 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
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
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84078-4
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings
Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84312-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Empowering AI Applications in Smart Life and Environment
Empowering AI Applications in Smart Life and Environment
Author 
Khalifa, Nour Eldeen Mahmoud. editor. (orcid)0000-0001-8614-9057 Taha, Mohamed  Hamed N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Machine Learning for Cyber Security 6th International Conference, ML4CS 2024, Hangzhou, China, December 27-29, 2024, Proceedings
Machine Learning for Cyber Security 6th International Conference, ML4CS 2024, Hangzhou, China, December 27-29, 2024, Proceedings
Author 
Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Shen, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4566-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Advanced Network Technologies and Computational Intelligence First International Conference, ICANTCI 2024, Punjab, India, April 5-6, 2024, Proceedings, Part I
Advanced Network Technologies and Computational Intelligence First International Conference, ICANTCI 2024, Punjab, India, April 5-6, 2024, Proceedings, Part I
Author 
Singh, Jaiteg. editor. (orcid)0000-0002-2370-9384 Goyal, S. B. editor. (orcid)0000-0002-8411-7630 Kumar, Manoj. editor. (orcid)0000-0001-5113-0639 Mittal, Ruchi. editor. (orcid)0000-0002-6607-5107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86069-0
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Advanced Network Technologies and Computational Intelligence First International Conference, ICANTCI 2024, Punjab, India, April 5-6, 2024, Proceedings, Part II
Advanced Network Technologies and Computational Intelligence First International Conference, ICANTCI 2024, Punjab, India, April 5-6, 2024, Proceedings, Part II
Author 
Singh, Jaiteg. editor. (orcid)0000-0002-2370-9384 Goyal, S. B. editor. (orcid)0000-0002-8411-7630 Kumar, Manoj. editor. (orcid)0000-0001-5113-0639 Mittal, Ruchi. editor. (orcid)0000-0002-6607-5107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86072-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings
Author 
Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87995-1
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Topics in Cryptology - CT-RSA 2025 Cryptographers' Track at the RSA Conference 2025, San Francisco, CA, USA, April 28-May 1, 2025, Proceedings
Topics in Cryptology - CT-RSA 2025 Cryptographers' Track at the RSA Conference 2025, San Francisco, CA, USA, April 28-May 1, 2025, Proceedings
Author 
Patra, Arpita. editor. (orcid)0000-0002-8036-4407 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88661-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Model and Data Engineering 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings
Model and Data Engineering 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings
Author 
Ordonez, Carlos. editor. (orcid)0009-0005-1135-9726 Sperlì, Giancarlo. editor. (orcid)0000-0003-4033-3777 Masciari, Elio. editor. (orcid)0000-0002-1778-5321 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87719-3
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Security Standardisation Research 9th International Conference, SSR 2024, Kunming, China, December 16, 2024, Proceedings
Security Standardisation Research 9th International Conference, SSR 2024, Kunming, China, December 16, 2024, Proceedings
Author 
Lu, Xianhui. editor. (orcid)0000-0001-7091-5810 Mitchell, Chris J. editor. (orcid)0000-0002-6118-0055 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87541-0
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part IX
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part IX
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8692-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Author 
Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87217-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Author 
Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4442-1
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Author 
Nandy, Subhas C. editor. De, Rajat K. editor. (orcid)0000-0001-6080-1131 Gupta, Prosenjit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Author 
Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87908-1
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
Author 
Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4282-3
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Pervasive Computing Technologies for Healthcare 18th EAI International Conference, PervasiveHealth 2024, Heraklion, Crete, Greece, September 17-18, 2024, Proceedings, Part I
Pervasive Computing Technologies for Healthcare 18th EAI International Conference, PervasiveHealth 2024, Heraklion, Crete, Greece, September 17-18, 2024, Proceedings, Part I
Author 
Kondylakis, Haridimos. editor. (orcid)0000-0002-9917-4486 Triantafyllidis, Andreas. editor. (orcid)0000-0002-6938-8256 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85572-6
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82957-4
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83885-9
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Pervasive Computing Technologies for Healthcare 18th EAI International Conference, PervasiveHealth 2024, Heraklion, Crete, Greece, September 17-18, 2024, Proceedings, Part II
Pervasive Computing Technologies for Healthcare 18th EAI International Conference, PervasiveHealth 2024, Heraklion, Crete, Greece, September 17-18, 2024, Proceedings, Part II
Author 
Kondylakis, Haridimos. editor. (orcid)0000-0002-9917-4486 Triantafyllidis, Andreas. editor. (orcid)0000-0002-6938-8256 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85575-7
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6005-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91095-1
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91098-2
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91107-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91124-8
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I
International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89757-3
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II
International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89760-3
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Author 
Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Author 
Mesnager, Sihem. editor. (orcid)0000-0003-4008-2031 Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 Debnath, Sumit Kumar. editor. (orcid)0000-0001-6374-1410 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90587-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Intelligent Computers, Algorithms, and Applications 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Intelligent Computers, Algorithms, and Applications 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Author 
Luo, Chunjie. editor. Li, Weiping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6310-1
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Code-Based Cryptography 12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers
Code-Based Cryptography 12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers
Author 
Weger, Violetta. editor. (orcid)0000-0001-9186-2885 Deneuville, Jean-Christophe. editor. (orcid)0000-0002-5128-6729 Horlemann, Anna-Lena. editor. (orcid)0000-0003-2685-2343 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part II
Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part II
Author 
Patel, Kanubhai K. editor. (orcid)0000-0001-9091-0419 Santosh, KC. editor. (orcid)0000-0003-4176-0236 Gomes de Oliveira, Gabriel. editor. (orcid)0000-0001-7164-2068 Patel, Atul. editor. (orcid)0000-0001-5697-2050 Ghosh, Ashish. editor. (orcid)0000-0003-1548-5576
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93700-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93712-5
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Virtual, Augmented and Mixed Reality 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93715-6
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92977-9
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92980-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
Author 
Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93233-5
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
Author 
Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93236-6
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93835-1
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93838-2
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93845-0
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VII
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VII
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93733-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
Author 
Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings
Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings
Author 
Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94263-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93864-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93730-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94150-4
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93227-4
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94165-8
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VII
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VII
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94168-9
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
Author 
Kertesz, Janos. editor. (orcid)0000-0003-4957-5406 Li, Bo. editor. (orcid)0000-0001-7500-8355 Supnithi, Thepchai. editor. Takhom, Akkharawoot. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6389-7
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94156-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Author 
Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94634-9
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Moallem, Abbas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94162-7
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIII
HCI International 2025 Posters 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIII
Author 
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94171-9
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Persuasive Technology 20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings
Persuasive Technology 20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings
Author 
Win, Khin Than. editor. (orcid)0000-0002-7810-6388 Ali, Raian. editor. (orcid)0000-0002-5285-7829 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 Oyibo, Kiemute. editor. (orcid)0000-0001-8300-3343
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94959-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
Author 
Moallem, Abbas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part I
Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part I
Author 
Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6232-6
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
Author 
Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95452-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part II
Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part II
Author 
Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6243-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93739-2
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95497-9
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Author 
Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Future Industrial Internet Second Future Industrial Internet Symposium, FII 2024, Shenzhen, China, August 23, 2024, Proceedings
Future Industrial Internet Second Future Industrial Internet Symposium, FII 2024, Shenzhen, China, August 23, 2024, Proceedings
Author 
Yin, Hao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6736-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II
Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II
Author 
Adi, Kamel. editor. (orcid)0000-0003-2869-0333 Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398 Durand, Christel. editor. Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952 Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87496-3
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
Author 
Collier, Rem. editor. (orcid)0000-0003-0319-0797 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Nallur, Vivek. editor. (orcid)0000-0003-0447-4150 Burattini, Samuele. editor. (orcid)0009-0009-4853-7783 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93930-3
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for IoT Technologies and Wearables for HealthCare 5th EAI International Conference, HealthWear 2024, Virtual Event, December 2-3, 2024, Proceedings
IoT Technologies and Wearables for HealthCare 5th EAI International Conference, HealthWear 2024, Virtual Event, December 2-3, 2024, Proceedings
Author 
Kose, Utku. editor. (orcid)0000-0002-9652-6415 Alzubi, Jafar. editor. (orcid)0000-0001-6724-1421 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95571-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Artificial Intelligence for Global Security First IFIP WG 12.13 International Conference, AI4GS 2024, Paris, France, November 19, 2024, Proceedings
Artificial Intelligence for Global Security First IFIP WG 12.13 International Conference, AI4GS 2024, Paris, France, November 19, 2024, Proceedings
Author 
Verdejo, Dominique. editor. (orcid)0000-0003-4780-3954 Mercier-Laurent, Eunika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96522-7
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part I
Wireless Artificial Intelligent Computing Systems and Applications 19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part I
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Zhu, Yongxin. editor. (orcid)0000-0002-1813-1792 Wang, Yonghao. editor. (orcid)0000-0002-4924-2508 Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8725-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part II
Wireless Artificial Intelligent Computing Systems and Applications 19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part II
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Zhu, Yongxin. editor. (orcid)0000-0002-1813-1792 Wang, Yonghao. editor. (orcid)0000-0002-4924-2508 Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8728-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for 6GN for Future Wireless Networks 7th EAI International Conference, 6GN 2024, Chongqing, China, October 19-20, 2024, Proceedings
6GN for Future Wireless Networks 7th EAI International Conference, 6GN 2024, Chongqing, China, October 19-20, 2024, Proceedings
Author 
Li, Xiuhua. editor. (orcid)0000-0001-9041-0297 Leung, Victor C. M. editor. (orcid)0000-0003-3529-2640 Wang, Xiaofei. editor. (orcid)0000-0002-7223-1030 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93193-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VIII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VIII
Author 
Huang, De-Shuang. editor. Zhang, Qinhu. editor. Zhang, Chuanlei. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97635-3
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97557-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97564-6
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part V
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part V
Author 
Huang, De-Shuang. editor. Li, Bo. editor. Chen, Haiming. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9794-6
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part IV
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part IV
Author 
Huang, De-Shuang. editor. Chen, Haiming. editor. Li, Bo. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9952-0
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part II
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Zhang, Qinhu. editor. Zhang, Chuanlei. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part III
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Pan, Yijie. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings
Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings
Author 
Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Masciari, Elio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93598-5
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XX
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XX
Author 
Huang, De-Shuang. editor. Chen, Haiming. editor. Li, Bo. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9818-9
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VII
Author 
Huang, De-Shuang. editor. Pan, Yijie. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9875-2
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VI
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VI
Author 
Huang, De-Shuang. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Pan, Yijie. editor. Chen, Haiming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VII
Author 
Huang, De-Shuang. editor. Li, Bo. editor. Chen, Haiming. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9961-2
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXIV
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXIV
Author 
Huang, De-Shuang. editor. Zhang, Qinhu. editor. Zhang, Chuanlei. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0020-8
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVIII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVIII
Author 
Huang, De-Shuang. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Pan, Yijie. editor. Chen, Haiming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIX
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIX
Author 
Huang, De-Shuang. editor. Pan, Yijie. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VI
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part VI
Author 
Huang, De-Shuang. editor. Zhang, Qinhu. editor. Zhang, Chuanlei. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9856-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part II
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Chen, Haiming. editor. Li, Bo. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9866-0
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIII
Author 
Huang, De-Shuang. editor. Pan, Yijie. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9901-8
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXI
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXI
Author 
Huang, De-Shuang. editor. Zhang, Chuanlei. editor. Zhang, Qinhu. editor. Pan, Yijie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0006-2
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXIII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXIII
Author 
Huang, De-Shuang. editor. Li, Bo. editor. Chen, Haiming. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVI
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVI
Author 
Huang, De-Shuang. editor. Chen, Haiming. editor. Li, Bo. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0030-7
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVII
Author 
Huang, De-Shuang. editor. Zhang, Chuanlei. editor. Zhang, Qinhu. editor. Pan, Yijie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0033-8
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings
Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings
Author 
Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86493-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2
Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2
Author 
Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8343-7
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Author 
Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71412-2
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings
Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings
Author 
Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72393-3
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Information Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I
Information Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I
Author 
Mouha, Nicky. editor. (orcid)0000-0001-8861-782X Nikiforakis, Nick. editor. (orcid)0000-0002-9366-357X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75757-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Information Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II
Information Security 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II
Author 
Mouha, Nicky. editor. (orcid)0000-0001-8861-782X Nikiforakis, Nick. editor. (orcid)0000-0002-9366-357X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Mobile Multimedia Communications 16th EAI International Conference, MobiMedia 2023, Guilin, China, July 22-24, 2023, Proceedings
Mobile Multimedia Communications 16th EAI International Conference, MobiMedia 2023, Guilin, China, July 22-24, 2023, Proceedings
Author 
Wang, Junyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60347-1
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Author 
Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74498-3
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings
Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings
Author 
Xia, Zhe. editor. (orcid)0000-0003-4397-1248 Chen, Jiageng. editor. (orcid)0000-0001-9033-2575 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings
Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings
Author 
Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75599-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings
Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings
Author 
Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75702-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings
Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings
Author 
Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75872-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part I
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part I
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8487-5
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XI
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XI
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8795-1
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XII
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XII
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8858-3
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Cyber Warfare, Security and Space Computing Second International Conference on Cyber Warfare, Security and Space Computing, SpacSec 2024, Jaipur, India, February 22-23, 2024, Proceedings
Cyber Warfare, Security and Space Computing Second International Conference on Cyber Warfare, Security and Space Computing, SpacSec 2024, Jaipur, India, February 22-23, 2024, Proceedings
Author 
Joshi, Sandeep. editor. (orcid)0000-0001-9127-5947 Bairwa, Amit Kumar. editor. (orcid)0000-0003-1830-0661 Radenkovic, Milena. editor. (orcid)0000-0003-4000-6143 Pljonkin, Anton. editor. (orcid)0000-0001-6713-9347 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73494-6
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part IV
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part IV
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8505-6
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part X
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part X
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8792-0
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Human Aspects of Information Security and Assurance 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9-11, 2024, Proceedings, Part I
Human Aspects of Information Security and Assurance 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9-11, 2024, Proceedings, Part I
Author 
Clarke, Nathan. editor. (orcid)0000-0002-3595-3800 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77915-2
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. (orcid)0000-0002-4860-0203 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action