Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
10 Results Found Subscribe to search results
0000000000DEFAULT
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 Communication and Applied Technologies Proceedings of ICOMTA 2024
Communication and Applied Technologies Proceedings of ICOMTA 2024
Author 
Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Gallardo-Echenique, Eliana. editor. Siringoringo, Hotniar. editor. Diez, Nieves Lagares. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0426-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
Author 
Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5597-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Communication and Applied Technologies Proceedings of ICOMTA 2023
Communication and Applied Technologies Proceedings of ICOMTA 2023
Author 
Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Castro, Laura M. editor. Espinosa, Araceli. editor. Puentes-Rivera, Iván. editor. López-López, Paulo Carlos. editor. (orcid)0000-0002-8101-7976
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7210-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
Author 
Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69182-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Author 
Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63194-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Health Information Science 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings
Health Information Science 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings
Author 
Yin, Xiaoxia. editor. Geller, James. editor. Li, Ye. editor. Zhou, Rui. editor. Wang, Hua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48335-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
Author 
Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32689-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets