Limit Search Results
Author
SpringerLink (Online service)
(1005)
Wiley InterScience (Online service)
(48)
Stephanidis, Constantine. editor.
(33)
Bebis, George. editor.
(24)
Boyle, Richard. editor.
(21)
Language
Publication Date
-
Subject
Computer science.
(608)
Artificial intelligence.
(286)
Software engineering.
(233)
Computer Communication Networks.
(211)
Information systems.
(173)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
1687 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Author 
Deng, Jing. editor. Kolesnikov, Vladimir. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521278.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7563-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520698.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings
Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings
Author 
Del Pia, Alberto. editor. Kaibel, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520869.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32726-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Author 
Genova, Daniela. editor. Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520956.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520967.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38545-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520968.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38548-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part IV
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part IV
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520969.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38551-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520970.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part I
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part I
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520971.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38557-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Author 
Chang, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520974.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38938-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets