Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Challenges of Software Verification
Challenges of Software Verification
Author 
Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9601-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Soft Computing and Signal Processing Proceedings of 5th ICSCSP 2022
Soft Computing and Signal Processing Proceedings of 5th ICSCSP 2022
Author 
Reddy, V. Sivakumar. editor. Prasad, V. Kamakshi. editor. Wang, Jiacun. editor. Reddy, K. T. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8669-7
Format: 
Availability 
Online Library~1
Available:
Copies: