Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
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:
2. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
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-82700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Author 
Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II
Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II
Author 
Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9896-8
Format: 
Availability 
Online Library~1
Available:
Copies: