Limit Search Results
Author
SpringerLink (Online service)
(938)
Kim, Tai-hoon. editor.
(31)
Yung, Moti. editor.
(23)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
English
(938)
Publication Date
-
2011
(199)
2010
(161)
2012
(155)
2013
(74)
2006
(60)
Subject
Computer software.
(873)
Computer science.
(850)
Software engineering.
(370)
Artificial intelligence.
(306)
Data encryption (Computer science).
(269)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
938 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Author 
Kumar Singh, Koushlendra. editor. (orcid)0000-0002-5614-6098 Singh, Sangeeta. editor. (orcid)0000-0002-1185-0540 Srivastava, Subodh. editor. Bajpai, Manish Kumar. editor. (orcid)0000-0003-2258-2390 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4282-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part II
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part II
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4285-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4288-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4291-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II
Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II
Author 
Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51476-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV
Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV
Author 
Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51482-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I
Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I
Author 
Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50594-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Author 
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I
Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I
Author 
Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75233-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets