Limit Search Results
Author
SpringerLink (Online service)
(54)
Reyzin, Leonid. editor.
(10)
Stebila, Douglas. editor. (orcid)0000-0001-9443-3170
(10)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Language
Publication Date
-
Subject
Computer engineering.
(54)
Computer networks .
(54)
Computer science.
(24)
Software engineering.
(20)
Artificial intelligence.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VI
Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VI
Author 
Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68391-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VII
Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VII
Author 
Reyzin, Leonid. editor. Stebila, Douglas. editor. (orcid)0000-0001-9443-3170 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68394-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Electronic Government 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3-5, 2024, Proceedings
Electronic Government 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3-5, 2024, Proceedings
Author 
Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Crompvoets, Joep. editor. (orcid)0000-0003-1077-597X Gil-Garcia, J. Ramon. editor. (orcid)0000-0002-1033-4974 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Lindgren, Ida. editor. (orcid)0000-0002-4735-8697
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70274-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Investigations in Entity Relationship Extraction
Investigations in Entity Relationship Extraction
Author 
Pawar, Sachin Sharad. author. Bhattacharyya, Pushpak. author. Palshikar, Girish Keshav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5391-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 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-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Author 
Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61437-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action