Limit Search Results
Author
SpringerLink (Online service)
(819)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(11)
Bifet, Albert. editor. (orcid)0000-0002-8339-7773
(10)
Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X
(10)
Boer, Frank S. editor.
(9)
Language
Publication Date
-
Subject
Computer science.
(391)
Operating systems (Computers).
(348)
Computer Communication Networks.
(270)
Artificial intelligence.
(194)
Computers.
(170)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
842 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Blockchain Transaction Data Analytics Complex Network Approaches
Blockchain Transaction Data Analytics Complex Network Approaches
Author 
Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Lin, Dan. editor. (orcid)0000-0001-7067-2396 Zheng, Zibin. editor. (orcid)0000-0002-7878-4330 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4430-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II
Intelligent Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II
Author 
Julian, Vicente. editor. (orcid)0000-0002-2743-6037 Camacho, David. editor. (orcid)0000-0002-0535-7450 Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Alberola, Juan M. editor. (orcid)0000-0002-5486-5638 Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77738-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75434-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
Author 
Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81900-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Author 
Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82065-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Data Protection for Software Development and IT A Practical Introduction
Data Protection for Software Development and IT A Practical Introduction
Author 
Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70639-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Managing Software Supply Chains Theory and Practice
Managing Software Supply Chains Theory and Practice
Author 
Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Systems Benchmarking For Scientists and Engineers
Systems Benchmarking For Scientists and Engineers
Author 
Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Transactions on Pattern Languages of Programming V
Transactions on Pattern Languages of Programming V
Author 
Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action