Limit Search Results
Author
SpringerLink (Online service)
(50)
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776
(4)
Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162
(4)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Moreno-Díaz, Roberto. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(30)
Artificial intelligence.
(21)
Computer science.
(19)
Computer networks .
(13)
Computer Communication Networks.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Handbook of Face Recognition
Handbook of Face Recognition
Author 
Li, Stan Z. editor. Jain, Anil K. editor. Deng, Jiankang. editor. (orcid)0000-0002-3709-6216 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43567-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Author 
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Human communication technology : Internet of Robotic Things and Ubiquitous Computing
Human communication technology : Internet of Robotic Things and Ubiquitous Computing
Author 
Anandan, R. Suseendran, G. Balamurugan, S., Prof. Mishra, Ashish. Balaganesh, D.
Preferred Shelf Number 
Q342 .H85 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752165
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Digital forensics
Digital forensics
Author 
Årnes, André, 1976- editor.
Preferred Shelf Number 
HV8079 .C65
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119262442
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Real-time embedded systems
Real-time embedded systems
Author 
Wang, Jiacun, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66266-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Author 
Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51963-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action