Search Results for Software Engineering.

1.

Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Author

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68690-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Author

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Author

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0602-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

Author

Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Author

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Author

Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Author

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Author

Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Concise Guide to Software Engineering From Fundamentals to Application Methods

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Author

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Author

Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Author

Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65831-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers

Author

Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

Author

Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Author

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Author

D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Author

Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings

Author

Hara, Yoshinori. editor. Karagiannis, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Author

Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Author

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings

Author

Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Author

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Author

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Author

Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50539-7

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Author

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Author

Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Author

Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42061-5

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Author

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Author

Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Author

Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

Author

Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Author

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Author

Traore, Issa. editor. Woungang, Isaac. editor. Awad, Ahmed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Author

Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Theory and Models for Cyber Situation Awareness

Author

Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61152-5

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy

Author

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47590-5

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0792-1

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

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:

60.

Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part II

Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part II

Author

Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4285-4

Format:

Availability

Online Library~1

Available:
Copies:

61.

Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV

Author

Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4291-5

Format:

Availability

Online Library~1

Available:
Copies:

62.

Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I

Author

Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4282-3

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

Author

Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8312-3

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings

Author

Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Author

Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

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:

84.

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

Author

Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7752-5

Format:

Availability

Online Library~1

Available:
Copies:

85.

Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers

Author

Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings

Author

Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part I

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part I

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Author

Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

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:

93.

Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

Author

Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

Author

Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Author

Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Author

Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Author

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0774-7

Format:

Availability

Online Library~1

Available:
Copies:

102.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0771-6

Format:

Availability

Online Library~1

Available:
Copies:

103.

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:

104.

Cover image for Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Zeng, Jing. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II

Author

Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part I

Author

Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I

International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0798-3

Format:

Availability

Online Library~1

Available:
Copies:

114.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0789-1

Format:

Availability

Online Library~1

Available:
Copies:

115.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Author

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0795-2

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

Author

Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III

Author

Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4288-5

Format:

Availability

Online Library~1

Available:
Copies:

124.

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:

125.

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:

126.

Cover image for From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Author

Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Author

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

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:

132.

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:

133.

Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings

Author

Martinelli, Fabio. editor. (orcid)0000-0002-6721-9395 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

Author

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Internet of Things - ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Internet of Things - ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Zhang, Shunli. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II

Author

Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I

Author

Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings

Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings

Author

Reyes-Lecuona, Arcadio. editor. Zachmann, Gabriel. editor. (orcid)0000-0001-8155-1127 Bordegoni, Monica. editor. (orcid)0000-0001-9378-8295 Chen, Jian. editor. Karaseitanidis, Giannis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings

Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings

Author

Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 Čeponis, Jonas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Author

Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

Author

Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Author

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Author

Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Author

Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Feng, Jun. editor. (orcid)0000-0001-9917-1819 He, Songlin. editor. (orcid)0000-0002-7269-5644 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Author

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Author

Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209 De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

Author

Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Author

Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804 Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113 Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Model and Data Engineering 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings

Author

Ordonez, Carlos. editor. (orcid)0009-0005-1135-9726 Sperlì, Giancarlo. editor. (orcid)0000-0003-4033-3777 Masciari, Elio. editor. (orcid)0000-0002-1778-5321 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

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:

159.

Transactions on Pattern Languages of Programming V

Author

Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-70810-1

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

Author

Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Author

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers

Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers

Author

Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079 Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Pascucci, Federica. editor. (orcid)0000-0002-8226-0716 Faramondi, Luca. editor. (orcid)0000-0002-3750-2405

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Author

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

Author

Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Author

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Author

Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

Author

Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Security and Privacy in Smart Environments

Author

Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 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-66708-4

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Author

Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

Author

Pautasso, Cesare. editor. Marcel, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2

Author

Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8343-7

Format:

Availability

Online Library~1

Available:
Copies:

176.

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:

177.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

Author

Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Author

Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

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:

185.

Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Author

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Author

Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Author

Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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:

191.

Cover image for Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology

Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology

Author

Femmam, Smain. editor. (orcid)0000-0001-5366-0481 Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

Author

Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

Author

Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings

Author

Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

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:

196.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

Author

Santos, Patricia. editor. (orcid)0000-0002-7337-2388 Álvarez, Claudio. editor. (orcid)0000-0002-5442-2140 Hernández-Leo, Davinia. editor. (orcid)0000-0003-0548-7455 Kobayashi, Minoru. editor. (orcid)0000-0001-6737-1736 Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

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:

199.

Cover image for Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Author

Gibadullin, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Model and Data Engineering 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Author

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Gargouri, Faiez. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Emerging Technologies in Computing 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings

Emerging Technologies in Computing 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings

Author

Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Southall, Garfield. editor. (orcid)0000-0003-4027-1852 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings

Author

Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I

Author

Li, Jingchao. editor. Zhang, Bin. editor. Ying, Yulong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part II

Author

Li, Jingchao. editor. Zhang, Bin. editor. Ying, Yulong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

ITNG 2024: 21st International Conference on Information Technology-New Generations

Author

Latifi, Shahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I

Author

Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II

Author

Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I

Author

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV

Author

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Author

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III

Author

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Author

Ma, Jun. editor. (orcid)0000-0002-9739-0855 Wang, Bo. editor. (orcid)0000-0002-9620-3413 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Information Management and Big Data 10th Annual International Conference, SIMBig 2023, Mexico City, Mexico, December 13-15, 2023, Proceedings

Information Management and Big Data 10th Annual International Conference, SIMBig 2023, Mexico City, Mexico, December 13-15, 2023, Proceedings

Author

Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Ceh-Varela, Eduardo. editor. (orcid)0000-0001-6277-2741 Vargas-Solar, Genoveva. editor. (orcid)0000-0001-9545-1821 Marcacini, Ricardo. editor. (orcid)0000-0002-2309-3487 Tadonki, Claude. editor. (orcid)0000-0003-1194-6400

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Author

Pickl, Stefan. editor. (orcid)0000-0001-5549-6259 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Mattila, Päivi. editor. (orcid)0000-0002-1683-2392 Sevillano, Annaleena. editor. (orcid)0000-0002-8204-1791 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

Author

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 Chochliouros, Ioannis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

Author

Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Performance Evaluation and Benchmarking 15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023, Revised Selected Papers

Performance Evaluation and Benchmarking 15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Author

Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part III

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers

Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers

Author

Casteleyn, Sven. editor. (orcid)0000-0003-0572-5716 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 García Simón, Alberto. editor. Ko, In-Young. editor. Loseto, Giuseppe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part II

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Author

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Author

Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Author

Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part III

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part III

Author

Huang, De-Shuang. editor. Si, Zhanjun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V

Author

Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5675-9

Format:

Availability

Online Library~1

Available:
Copies:

246.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I

Author

Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for Quality of Information and Communications Technology 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings

Quality of Information and Communications Technology 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings

Author

Bertolino, Antonia. editor. (orcid)0000-0001-8749-1356 Pascoal Faria, João. editor. (orcid)0000-0003-3825-3954 Lago, Patricia. editor. (orcid)0000-0002-2234-0845 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

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:

254.

Cover image for Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

Author

Feng, Jun. editor. (orcid)0000-0001-9917-1819 Jiang, Frank. editor. Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Author

Ye, Kejiang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Daniušis, Povilas. editor. (orcid)0000-0001-5977-827X Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

Author

Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

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:

262.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Author

Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213 Sinha, Arunesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Mobile Networks and Management 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings

Author

Wu, Celimuge. editor. Chen, Xianfu. editor. Feng, Jie. editor. Wu, Zhen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

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:

269.

Cover image for Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

Author

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings

Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings

Author

Lupeikienė, Audronė. editor. (orcid)0000-0001-6011-3072 Ralyté, Jolita. editor. (orcid)0000-0001-8561-3567 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

Author

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Engineering Applications of Neural Networks 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Engineering Applications of Neural Networks 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Author

Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640 Jayne, Chrisina. editor. (orcid)0000-0001-7292-2109

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

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

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:

276.

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:

277.

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:

278.

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:

279.

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:

280.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part I

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

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:

283.

Cover image for Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Author

Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Author

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

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:

286.

Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Author

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Transactions on Petri Nets and Other Models of Concurrency XVII

Author

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-68191-6

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings

Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings

Author

Shao, Jun. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9614-8

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part V

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

Author

Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Author

Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

Author

Huang, De-Shuang. editor. Si, Zhanjun. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5678-0

Format:

Availability

Online Library~1

Available:
Copies:

298.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part II

Author

Huang, De-Shuang. editor. Zhang, Chuanlei. editor. Pan, Yijie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part IV

Author

Huang, De-Shuang. editor. Si, Zhanjun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

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:

	{displayName}	{count}
{error}