Limit Search Results
Author
SpringerLink (Online service)
(31)
Li, Xue. editor.
(4)
Castro, Félix. editor.
(2)
Gelbukh, Alexander. editor.
(2)
González, Miguel. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
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 Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledge
Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledge
Author 
Nadkarni, Prakash M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-510-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme
Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme
Author 
Zauner, Martin. author. Schrempf, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-89189-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings
Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05288-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
Author 
Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94806-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
Author 
Vaziri, Daryoush Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-22875-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings
Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings
Author 
Perego, Paolo. editor. Rahmani, Amir M. editor. TaheriNejad, Nima. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98551-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings
Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings
Author 
Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers
Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers
Author 
Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Author 
Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings
Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings
Author 
Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.
Preferred Shelf Number 
ONLINE(334739.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39159-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II
Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II
Author 
Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335189.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45111-9
Format: 
Availability 
Online Library~1
Available:
Copies: