Limit Search Results
Author
SpringerLink (Online service)
(56)
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 and Networks.
(54)
Computer networks .
(54)
Computer science.
(25)
Software engineering.
(20)
Artificial intelligence.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Author 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 2
Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 2
Author 
Ahmad, Khaleel. editor. Dulhare, Uma N. editor. Badar, Mohammad Sufian. editor. Ahamed, Jameel. editor. Rizvi, M. A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4074-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1
Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1
Author 
Ahmad, Khaleel. editor. Dulhare, Uma N. editor. Badar, Mohammad Sufian. editor. Ahamed, Jameel. editor. Rizvi, M. A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4078-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II
Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II
Author 
Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78450-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I
Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I
Author 
Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78453-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Brain Informatics 17th International Conference, BI 2024, Bangkok, Thailand, December 13-15, 2024, Proceedings, Part I
Brain Informatics 17th International Conference, BI 2024, Bangkok, Thailand, December 13-15, 2024, Proceedings, Part I
Author 
Itthipuripat, Sirawaj. editor. (orcid)0000-0001-9302-0964 Ascoli, Giorgio A. editor. (orcid)0000-0002-0964-676X Li, Anan. editor. (orcid)0000-0002-5877-4813 Pat, Narun. editor. (orcid)0000-0003-1459-5255 Kuai, Hongzhi. editor. (orcid)0000-0002-2746-648X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Brain Informatics 17th International Conference, BI 2024, Bangkok, Thailand, December 13-15, 2024, Proceedings, Part II
Brain Informatics 17th International Conference, BI 2024, Bangkok, Thailand, December 13-15, 2024, Proceedings, Part II
Author 
Itthipuripat, Sirawaj. editor. (orcid)0000-0001-9302-0964 Ascoli, Giorgio A. editor. (orcid)0000-0002-0964-676X Li, Anan. editor. (orcid)0000-0002-5877-4813 Pat, Narun. editor. (orcid)0000-0003-1459-5255 Kuai, Hongzhi. editor. (orcid)0000-0002-2746-648X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
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:
23. 
Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Author 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action