Limit Search Results
Author
SpringerLink (Online service)
(29)
Cheng, Xinzhou. editor.
(3)
Ling, Zhilei. editor.
(3)
Wang, Yue. editor.
(3)
Xu, Lexi. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(10)
Computer science.
(9)
Artificial intelligence.
(8)
Computers.
(7)
Theory of Computation.
(6)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Face De-identification: Safeguarding Identities in the Digital Era
Face De-identification: Safeguarding Identities in the Digital Era
Author 
Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Continuous Biometric Authentication Systems An Overview
Continuous Biometric Authentication Systems An Overview
Author 
Smith-Creasey, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49071-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Author 
Gunjan, Vinit Kumar. editor. Zurada, Jacek M. editor. Singh, Ninni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43009-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Author 
Tatnall, Arthur. editor. (orcid)0000-0003-4317-971X Webb, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Pattern Classification of Medical Images: Computer Aided Diagnosis
Pattern Classification of Medical Images: Computer Aided Diagnosis
Author 
Yin, Xiao-Xia. author. Hadjiloucas, Sillas. author. Zhang, Yanchun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Author 
Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Author 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Author 
Long, Shengzhao. editor. Dhillon, Balbir S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2323-1
Format: 
Availability 
Online Library~1
Available:
Copies: