Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Intelligence for Clinical Diagnosis
Computational Intelligence for Clinical Diagnosis
Author 
Joseph, Ferdin Joe John. editor. Balas, Valentina Emilia. editor. Rajest, S. Suman. editor. Regin, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23683-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mobile Health A Technology Road Map
Mobile Health A Technology Road Map
Author 
Adibi, Sasan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12817-7
Format: 
Availability 
Online Library~1
Available:
Copies: