Search Results for Conference proceedings.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

155 Results Found

1 2 3 4 5 6 .. 13

000000000000DEFAULT

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

Author

Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part IV

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part IV

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings

Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings

Author

Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings

New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings

Author

Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024 Sahib, Mouayad A. editor. (orcid)0000-0001-5670-0979 Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294 Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Author

Benavides-Prado, Diana. editor. Erfani, Sarah. editor. Fournier-Viger, Philippe. editor. Boo, Yee Ling. editor. (orcid)0000-0001-7188-9597 Koh, Yun Sing. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.