Limit Search Results
Author
SpringerLink (Online service)
(75)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bouajjani, Ahmed. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X
(2)
Language
Publication Date
-
2017
(24)
2016
(19)
2024
(18)
2025
(13)
2023
(1)
Subject
Computer Communication Networks.
(56)
Computer science.
(38)
Software engineering.
(38)
Formal Languages and Automata Theory.
(36)
Machine theory.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings
Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings
Author 
Bădică, Costin. editor. (orcid)0000-0001-8480-9867 Gušev, Marjan. editor. (orcid)0000-0003-0351-9783 Iftene, Adrian. editor. (orcid)0000-0003-3564-8440 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84093-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
Author 
Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85593-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77153-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Author 
Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49342-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
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-63498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
Cover image for Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part I
Author 
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II
Implications of Information and Digital Technologies for Development 18th IFIP WG 9.4 International Conference, ICT4D 2024, Cape Town, South Africa, May 20-22, 2024, Proceedings, Part II
Author 
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X Kabanda, Salah. editor. (orcid)0000-0002-0490-8417 Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66986-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I
Natural Language Processing and Information Systems 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I
Author 
Rapp, Amon. editor. Di Caro, Luigi. editor. Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Sugumaran, Vijayan. editor. (orcid)0000-0003-2557-3182 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Author 
Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71152-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action