Limit Search Results
Author
SpringerLink (Online service)
(84)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(8)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(5)
Harris, Don. editor. (orcid)0000-0002-2113-8848
(4)
Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701
(4)
Language
Publication Date
-
2024
(36)
2025
(33)
2017
(11)
2016
(4)
Subject
Computer System Implementation.
(84)
Computers, Special purpose.
(84)
Special Purpose and Application-Based Systems.
(84)
Computer Communication Networks.
(55)
Computer networks .
(55)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Author 
Devos, Arnaud. editor. (orcid)0000-0001-8124-723X Horváth, András. editor. (orcid)0000-0002-8210-545X Rossi, Sabina. editor. (orcid)0000-0002-1189-4439 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70753-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
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-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
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-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024, Proceedings, Part I
Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024, Proceedings, Part I
Author 
Huda, M. Nazmul. editor. (orcid)0000-0002-5376-881X Wang, Mingfeng. editor. (orcid)0000-0001-6551-0325 Kalganova, Tatiana. editor. (orcid)0000-0003-4859-7152 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72059-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024, Proceedings, Part II
Towards Autonomous Robotic Systems 25th Annual Conference, TAROS 2024, London, UK, August 21-23, 2024, Proceedings, Part II
Author 
Huda, M. Nazmul. editor. (orcid)0000-0002-5376-881X Wang, Mingfeng. editor. (orcid)0000-0001-6551-0325 Kalganova, Tatiana. editor. (orcid)0000-0003-4859-7152 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Author 
Doncel, Josu. editor. (orcid)0000-0002-5552-9134 Remke, Anne. editor. (orcid)0000-0002-5912-4767 Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80932-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part I
Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part I
Author 
Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571 Sie, Oumarou. editor. Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81570-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part II
Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part II
Author 
Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571 Sie, Oumarou. editor. Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81573-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Author 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action