Limit Search Results
Author
SpringerLink (Online service)
(47)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(5)
Duffy, Vincent G. editor.
(5)
Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530
(2)
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428
(2)
Language
Publication Date
-
Subject
Computer Communication Networks.
(35)
Software engineering.
(19)
Application software.
(17)
Computer and Information Systems Applications.
(17)
Artificial intelligence.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Cyberspace Safety and Security 9th International Symposium, CSS 2017, Xi'an China, October 23-25, 2017, Proceedings
Cyberspace Safety and Security 9th International Symposium, CSS 2017, Xi'an China, October 23-25, 2017, Proceedings
Author 
Wen, Sheng. editor. Wu, Wei. editor. Castiglione, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69471-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58466-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58463-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety
Networks of Dissipative Systems Compositional Certification of Stability, Performance, and Safety
Author 
Arcak, Murat. author. Meissen, Chris. author. Packard, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29928-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Global Security, Safety and Sustainability: The Security Challenges of the Connected World 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings
Global Security, Safety and Sustainability: The Security Challenges of the Connected World 11th International Conference, ICGS3 2017, London, UK, January 18-20, 2017, Proceedings
Author 
Jahankhani, Hamid. editor. Carlile, Alex. editor. Emm, David. editor. Hosseinian-Far, Amin. editor. Brown, Guy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51064-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Author 
Bonakdarpour, Borzoo. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49259-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computing in Intelligent Transportation Systems
Computing in Intelligent Transportation Systems
Author 
Naganathan, Archana. editor. Jayarajan, Niresh. editor. Bin Ibne Reaz, Mamun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38669-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers
Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers
Author 
Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52823-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Author 
Buttazzo, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Human-Centered Design, Operation and Evaluation of Mobile Communications 5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
Human-Centered Design, Operation and Evaluation of Mobile Communications 5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
Author 
Wei, June. editor. (orcid)0000-0001-5000-2467 Margetis, George. editor. (orcid)0000-0002-9101-6301 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60458-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action