Limit Search Results
Author
SpringerLink (Online service)
(698)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(530)
Software engineering.
(348)
Computer Communication Networks.
(325)
Information systems.
(132)
Computer software.
(130)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
714 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Author 
Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4442-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95497-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part I
Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part I
Author 
Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95761-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
Author 
Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95589-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II
Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II
Author 
Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95764-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part III
Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part III
Author 
Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95767-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings
Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
Author 
Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7872-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Fundamental Research for Trustworthy Software
The Fundamental Research for Trustworthy Software
Author 
He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5589-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I
Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I
Author 
Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8101-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II
Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II
Author 
Chen, Jiachi. editor. Wen, Bin. editor. Chen, Ting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8104-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action