Search Results for Software

1.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75387-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90897-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90900-9

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Author

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86695-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77382-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71261-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66064-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

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:

12.

Cover image for Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Author

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52183-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57228-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57259-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57231-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66021-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Author

Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66339-0

Format:

Availability

Online Library~1

Available:
Copies:

19.

Guide to Software Development Designing and Managing the Life Cycle

Author

Langer, Arthur M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6799-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Internetware A New Software Paradigm for Internet Computing

Author

Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-2546-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Author

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61473-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61482-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Author

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65578-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73709-1

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part II

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part II

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0814-0

Format:

Availability

Online Library~1

Available:
Copies:

26.

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part IV

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0840-9

Format:

Availability

Online Library~1

Available:
Copies:

27.

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part V

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0847-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part III

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0821-8

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75434-0

Format:

Availability

Online Library~1

Available:
Copies:

30.

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, 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-81900-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75390-9

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73741-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XIII

Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XIII

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-8493-6

Format:

Availability

Online Library~1

Available:
Copies:

47.

Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part III

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-8502-5

Format:

Availability

Online Library~1

Available:
Copies:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part I

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0811-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part VI

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0850-8

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

Author

Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-78377-7

Format:

Availability

Online Library~1

Available:
Copies:

60.

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

Author

Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-78380-7

Format:

Availability

Online Library~1

Available:
Copies:

61.

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:

62.

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:

63.

Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers

Author

Doncel, Josu. editor. (orcid)0000-0002-5552-9134 Remke, Anne. editor. (orcid)0000-0002-5912-4767 Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80932-3

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

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-80760-2

Format:

Availability

Online Library~1

Available:
Copies:

65.

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:

66.

Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

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-82024-3

Format:

Availability

Online Library~1

Available:
Copies:

67.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

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-81806-6

Format:

Availability

Online Library~1

Available:
Copies:

68.

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:

69.

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Author

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-89610-1

Format:

Availability

Online Library~1

Available:
Copies:

70.

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:

71.

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:

72.

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers

Author

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85324-1

Format:

Availability

Online Library~1

Available:
Copies:

73.

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:

74.

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:

75.

Cover image for Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Author

Sheen, Shina. editor. (orcid)0000-0002-8624-4174 R., Latha. editor. (orcid)0000-0001-7011-1329 U. K., Sridevi. editor. (orcid)0000-0003-2445-9193 P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222 M., Thilaga. editor. (orcid)0000-0002-7177-958X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-88297-5

Format:

Availability

Online Library~1

Available:
Copies:

76.

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:

77.

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:

78.

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:

79.

Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part I

Author

Cremers, Daniel. editor. (orcid)0000-0002-3079-7984 Lähner, Zorah. editor. (orcid)0000-0003-0599-094X Moeller, Michael. editor. (orcid)0000-0002-0492-6527 Nießner, Matthias. editor. (orcid)0000-0001-6093-5199 Ommer, Björn. editor. (orcid)0000-0003-0766-120X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85181-0

Format:

Availability

Online Library~1

Available:
Copies:

80.

Pattern Recognition 46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10-13, 2024, Proceedings, Part II

Author

Cremers, Daniel. editor. (orcid)0000-0002-3079-7984 Lähner, Zorah. editor. (orcid)0000-0003-0599-094X Moeller, Michael. editor. (orcid)0000-0002-0492-6527 Nießner, Matthias. editor. (orcid)0000-0001-6093-5199 Ommer, Björn. editor. (orcid)0000-0003-0766-120X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85187-2

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-89211-0

Format:

Availability

Online Library~1

Available:
Copies:

82.

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:

83.

Cover image for Security and Privacy in Cyber-Physical Systems and Smart Vehicles Second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7-8, 2024, Proceedings

Security and Privacy in Cyber-Physical Systems and Smart Vehicles Second EAI International Conference, SmartSP 2024, New Orleans, LA, USA, November 7-8, 2024, Proceedings

Author

Hei, Xiali. editor. Garcia, Luis. editor. (orcid)0000-0002-5111-0694 Kim, Taegyu. editor. Kim, Kyungtae. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-93354-7

Format:

Availability

Online Library~1

Available:
Copies:

84.

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:

85.

Cover image for Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Author

Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7872-4

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Artificial Intelligence of Things First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II

Artificial Intelligence of Things First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II

Author

Challa, Rama Krishna. editor. (orcid)0000-0002-2759-2654 Aujla, Gagangeet Singh. editor. Mathew, Lini. editor. Kumar, Amod. editor. Kalra, Mala. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48781-1

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for HCI International 2023 - Late Breaking Posters 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

HCI International 2023 - Late Breaking Posters 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Author

Stephanidis, Constantine. editor. 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-49212-9

Format:

Availability

Online Library~1

Available:
Copies:

88.

HCI International 2023 - Late Breaking Posters 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Author

Stephanidis, Constantine. editor. 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-49215-0

Format:

Availability

Online Library~1

Available:
Copies:

89.

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Author

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49379-9

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46002-9

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Author

Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49361-4

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part I

Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part I

Author

Zhang, Min. editor. Xu, Bin. editor. Hu, Fuyuan. editor. Lin, Junyu. editor. Song, Xianhua. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8764-1

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50069-5

Format:

Availability

Online Library~1

Available:
Copies:

94.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50075-6

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Internet of Things of Big Data for Healthcare 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Internet of Things of Big Data for Healthcare 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Author

Qi, Jun. editor. Yang, Po. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52216-1

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Recent Trends in Image Processing and Pattern Recognition 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part I

Recent Trends in Image Processing and Pattern Recognition 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part I

Author

Santosh, KC. editor. Makkar, Aaisha. editor. (orcid)0000-0001-7203-6553 Conway, Myra. editor. Singh, Ashutosh K. editor. (orcid)0000-0002-8053-5050 Vacavant, Antoine. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-53082-1

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Author

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52265-9

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Security and Privacy in Cyber-Physical Systems and Smart Vehicles First EAI International Conference, SmartSP 2023, Chicago, USA, October 12-13, 2023, Proceedings

Security and Privacy in Cyber-Physical Systems and Smart Vehicles First EAI International Conference, SmartSP 2023, Chicago, USA, October 12-13, 2023, Proceedings

Author

Chen, Yu. editor. Lin, Chung-Wei. editor. Chen, Bo. editor. Zhu, Qi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51630-6

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Author

Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0006-6

Format:

Availability

Online Library~1

Available:
Copies:

100.

Spatial Data and Intelligence 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings

Author

Meng, Xiaofeng. editor. Zhang, Xueying. editor. Guo, Danhuai. editor. Hu, Di. editor. Zheng, Bolong. editor. (orcid)0000-0001-8639-4570

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2966-1

Format:

Availability

Online Library~1

Available:
Copies:

101.

Wireless Internet 16th EAI International Conference, WiCON 2023, Athens, Greece, December 15-16, 2023, Proceedings

Author

Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782 Douligeris, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58053-6

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Ubiquitous Networking 9th International Symposium, UNet 2023, Clermont-Ferrand, France, November 1-3, 2023, Revised Selected Papers

Ubiquitous Networking 9th International Symposium, UNet 2023, Clermont-Ferrand, France, November 1-3, 2023, Revised Selected Papers

Author

Habachi, Oussama. editor. (orcid)0000-0001-7121-5760 Chalhoub, Gerard. editor. (orcid)0000-0003-1687-598X Elbiaze, Halima. editor. (orcid)0000-0001-5681-6445 Sabir, Essaid. editor. (orcid)0000-0001-9946-5761 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-62488-9

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61835-2

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Knowledge Management in Organisations 18th International Conference, KMO 2024, Kaohsiung, Taiwan, July 29 - August 1, 2024, Proceedings

Knowledge Management in Organisations 18th International Conference, KMO 2024, Kaohsiung, Taiwan, July 29 - August 1, 2024, Proceedings

Author

Uden, Lorna. editor. (orcid)0000-0002-8598-7355 Ting, I-Hsien. editor. (orcid)0000-0002-6587-2438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63269-3

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Computational Neuroscience 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Computational Neuroscience 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Author

Riascos Salas, Jaime A. editor. (orcid)0000-0001-6134-4139 Cota, Vinícius Rosa. editor. (orcid)0000-0002-2338-5949 Villota, Hernán. editor. (orcid)0000-0002-6061-7104 Betancur Vasquez, Daniel. editor. (orcid)0000-0003-4834-7268 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63848-0

Format:

Availability

Online Library~1

Available:
Copies:

106.

Cover image for Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70085-9

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73372-7

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Computer Applications 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024, Proceedings, Part I

Computer Applications 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024, Proceedings, Part I

Author

Yu, Haipeng. editor. (orcid)0000-0003-0634-7913 Cai, Chengtao. editor. (orcid)0000-0002-3475-6098 Huang, Lan. editor. Jing, Weipeng. editor. Chen, Xuebin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9671-7

Format:

Availability

Online Library~1

Available:
Copies:

109.

Computer Applications 39th CCF National Conference of Computer Applications, CCF NCCA 2024, Harbin, China, July 15-18, 2024, Proceedings, Part II

Author

Cai, Chengtao. editor. (orcid)0000-0002-3475-6098 Yu, Haipeng. editor. (orcid)0000-0003-0634-7913 Huang, Lan. editor. Jing, Weipeng. editor. Chen, Xuebin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9674-8

Format:

Availability

Online Library~1

Available:
Copies:

110.

Privacy Technologies and Policy 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings

Author

Rannenberg, Kai. editor. Drogkaris, Prokopios. editor. Lauradoux, Cédric. editor. (orcid)0000-0001-6987-2403 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61089-9

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings

Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings

Author

Phillipson, Frank. editor. (orcid)0000-0003-4580-7521 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60433-1

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70896-1

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability Second International Conference, ICGER 2023, Sharjah, United Arab Emirates, February 27-28, 2023, Revised Selected Papers

Global Economic Revolutions: Big Data Governance and Business Analytics for Sustainability Second International Conference, ICGER 2023, Sharjah, United Arab Emirates, February 27-28, 2023, Revised Selected Papers

Author

M. A. Musleh Al-Sartawi, Abdalmuttaleb. editor. Helmy Abd Wahab, Mohd. editor. Hussainey, Khaled. editor. (orcid)0000-0003-3641-1031 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50518-8

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for IoT Technologies and Wearables for HealthCare 10th EAI International Conference, HealthyIoT 2023, and 4th EAI International Conference, HealthWear 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings

IoT Technologies and Wearables for HealthCare 10th EAI International Conference, HealthyIoT 2023, and 4th EAI International Conference, HealthWear 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings

Author

Ferraro, Venere. editor. (orcid)0000-0002-5114-9038 Covarrubias, Mario. editor. (orcid)0000-0003-4195-9333 Zdravevski, Eftim. editor. (orcid)0000-0001-7664-0168 Pires, Ivan Miguel. editor. (orcid)0000-0002-3394-6762 Marques Martins de Almeida, José Manuel. editor. (orcid)0000-0003-3810-5943

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71911-0

Format:

Availability

Online Library~1

Available:
Copies:

115.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8435-0

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I

Author

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45878-1

Format:

Availability

Online Library~1

Available:
Copies:

117.

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II

Author

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45882-8

Format:

Availability

Online Library~1

Available:
Copies:

118.

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Author

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7743-7

Format:

Availability

Online Library~1

Available:
Copies:

119.

Computer Applications 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16-20, 2023, Proceedings, Part II

Author

Zhang, Min. editor. Xu, Bin. editor. Hu, Fuyuan. editor. Lin, Junyu. editor. Song, Xianhua. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8761-0

Format:

Availability

Online Library~1

Available:
Copies:

120.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50078-7

Format:

Availability

Online Library~1

Available:
Copies:

121.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8429-9

Format:

Availability

Online Library~1

Available:
Copies:

122.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8432-9

Format:

Availability

Online Library~1

Available:
Copies:

123.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8540-1

Format:

Availability

Online Library~1

Available:
Copies:

124.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8549-4

Format:

Availability

Online Library~1

Available:
Copies:

125.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8462-6

Format:

Availability

Online Library~1

Available:
Copies:

126.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8546-3

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8558-6

Format:

Availability

Online Library~1

Available:
Copies:

128.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8552-4

Format:

Availability

Online Library~1

Available:
Copies:

129.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50072-5

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

Author

Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51399-2

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II

Author

Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51476-0

Format:

Availability

Online Library~1

Available:
Copies:

132.

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV

Author

Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51482-1

Format:

Availability

Online Library~1

Available:
Copies:

133.

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I

Author

Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50594-2

Format:

Availability

Online Library~1

Available:
Copies:

134.

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III

Author

Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51479-1

Format:

Availability

Online Library~1

Available:
Copies:

135.

Recent Trends in Image Processing and Pattern Recognition 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part II

Author

Santosh, KC. editor. Makkar, Aaisha. editor. (orcid)0000-0001-7203-6553 Conway, Myra. editor. Singh, Ashutosh K. editor. (orcid)0000-0002-8053-5050 Vacavant, Antoine. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-53085-2

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

Author

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52517-9

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Author

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51643-6

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Author

Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51849-2

Format:

Availability

Online Library~1

Available:
Copies:

139.

Pattern Recognition 45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19-22, 2023, Proceedings

Author

Köthe, Ullrich. editor. Rother, Carsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54605-1

Format:

Availability

Online Library~1

Available:
Copies:

140.

Space Information Networks 7th International Conference, SINC 2023, Wuhan, China, October 12-13, 2023, Revised Selected Papers

Author

Yu, Quan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1568-8

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56580-9

Format:

Availability

Online Library~1

Available:
Copies:

142.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2300-3

Format:

Availability

Online Library~1

Available:
Copies:

143.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70055-2

Format:

Availability

Online Library~1

Available:
Copies:

144.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70068-2

Format:

Availability

Online Library~1

Available:
Copies:

145.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70071-2

Format:

Availability

Online Library~1

Available:
Copies:

146.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8555-5

Format:

Availability

Online Library~1

Available:
Copies:

147.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8543-2

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I

Cognitive Computing and Cyber Physical Systems 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I

Author

Pareek, Prakash. editor. (orcid)0000-0001-8319-1583 Gupta, Nishu. editor. (orcid)0000-0002-1568-368X Reis, M. J. C. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48888-7

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for ICT Innovations 2023. Learning: Humans, Theory, Machines, and Data 15th International Conference, ICT Innovations 2023, Ohrid, North Macedonia, September 24-26, 2023, Proceedings

ICT Innovations 2023. Learning: Humans, Theory, Machines, and Data 15th International Conference, ICT Innovations 2023, Ohrid, North Macedonia, September 24-26, 2023, Proceedings

Author

Mihova, Marija. editor. (orcid)0000-0002-0613-4160 Jovanov, Mile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54321-0

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54521-4

Format:

Availability

Online Library~1

Available:
Copies:

151.

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54528-3

Format:

Availability

Online Library~1

Available:
Copies:

152.

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54531-3

Format:

Availability

Online Library~1

Available:
Copies:

153.

Smart Grid and Internet of Things 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings

Author

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X Chen, Jyh-Cheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55976-1

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Service-Oriented Computing - ICSOC 2023 Workshops AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers

Service-Oriented Computing - ICSOC 2023 Workshops AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers

Author

Monti, Flavia. editor. (orcid)0000-0003-3349-7861 Plebani, Pierluigi. editor. Moha, Naouel. editor. Paik, Hye-young. editor. Barzen, Johanna. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0989-2

Format:

Availability

Online Library~1

Available:
Copies:

155.

Ad Hoc Networks 14th EAI International Conference, AdHocNets 2023, Hanoi, Vietnam, November 10-11, 2023, Proceedings

Author

Thi Dieu Linh, Nguyen. editor. (orcid)0000-0001-8596-392X Hoang, Manh Kha. editor. Dang, Trong Hop. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55993-8

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

Author

Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50546-1

Format:

Availability

Online Library~1

Available:
Copies:

157.

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Author

Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50543-0

Format:

Availability

Online Library~1

Available:
Copies:

158.

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part III

Author

Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50549-2

Format:

Availability

Online Library~1

Available:
Copies:

159.

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part IV

Author

Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50552-2

Format:

Availability

Online Library~1

Available:
Copies:

160.

Privacy Technologies and Policy 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings

Author

Jensen, Meiko. editor. Lauradoux, Cédric. editor. (orcid)0000-0001-6987-2403 Rannenberg, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68024-3

Format:

Availability

Online Library~1

Available:
Copies:

161.

Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11-12, 2024, Revised Selected Papers

Author

Wang, Jianping. editor. (orcid)0000-0002-9318-1482 Xiao, Bin. editor. (orcid)0000-0003-4223-8220 Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5760-2

Format:

Availability

Online Library~1

Available:
Copies:

162.

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part I

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70879-4

Format:

Availability

Online Library~1

Available:
Copies:

163.

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part II

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70890-9

Format:

Availability

Online Library~1

Available:
Copies:

164.

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part IV

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70903-6

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I

Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-I

Author

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72284-4

Format:

Availability

Online Library~1

Available:
Copies:

166.

Science, Engineering Management and Information Technology Second International Conference, SEMIT 2023, Ankara, Turkey, September 14-15, 2023, Proceedings, Part-II

Author

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884 Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903 Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210 Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72287-5

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Telematics and Computing 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part I

Telematics and Computing 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part I

Author

Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Barria-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77290-0

Format:

Availability

Online Library~1

Available:
Copies:

168.

Telematics and Computing 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part II

Author

Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137 Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189 Barria-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77293-1

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Author

Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64635-0

Format:

Availability

Online Library~1

Available:
Copies:

170.

Resource Management for Internet of Things

Author

Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54247-8

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Author

Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66787-4

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Author

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52709-3

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Author

Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55792-2

Format:

Availability

Online Library~1

Available:
Copies:

174.

Requirements Engineering

Author

Dick, Jeremy. author. Hull, Elizabeth. author. Jackson, Ken. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61073-3

Format:

Availability

Online Library~1

Available:
Copies:

175.

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Author

Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55849-3

Format:

Availability

Online Library~1

Available:
Copies:

176.

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Author

Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54999-6

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

Author

Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90023-0

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Smart Trends in Information Technology and Computer Communications First International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016, Revised Selected Papers

Smart Trends in Information Technology and Computer Communications First International Conference, SmartCom 2016, Jaipur, India, August 6-7, 2016, Revised Selected Papers

Author

Unal, Aynur. editor. Nayak, Malaya. editor. Mishra, Durgesh Kumar. editor. Singh, Dharm. editor. Joshi, Amit. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3433-6

Format:

Availability

Online Library~1

Available:
Copies:

179.

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

Author

Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30695-7

Format:

Availability

Online Library~1

Available:
Copies:

180.

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. SpringerLink (Online service)