Limit Search Results
Author
SpringerLink (Online service)
(619)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(13)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Language
English
(619)
Publication Date
-
2024
(273)
2025
(196)
2017
(79)
2016
(38)
2023
(18)
Subject
Computer engineering.
(619)
Computer networks .
(619)
Artificial intelligence.
(305)
Application software.
(191)
Computer and Information Systems Applications.
(191)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
619 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Author 
Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Author 
Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47590-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. 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-66266-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. 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-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
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:
45. 
Cover image for Frontier Computing on Industrial Applications Volume 3 Proceedings of Theory, Technologies and Applications (FC 2023)
Frontier Computing on Industrial Applications Volume 3 Proceedings of Theory, Technologies and Applications (FC 2023)
Author 
Hung, Jason C. editor. Yen, Neil. editor. Chang, Jia-Wei. editor. (orcid)0000-0002-9321-6278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9416-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Soft Computing Applications in Modern Power and Energy Systems Select Proceedings of EPREC 2023, Volume 4
Soft Computing Applications in Modern Power and Energy Systems Select Proceedings of EPREC 2023, Volume 4
Author 
Gupta, Om Hari. editor. (orcid)0000-0001-6171-809X Padhy, Narayana Prasad. editor. Kamalasadan, Sukumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Emerging Technology for Sustainable Development Select Proceedings of EGTET 2022
Emerging Technology for Sustainable Development Select Proceedings of EGTET 2022
Author 
Deka, Jatindra Kumar. editor. Robi, P. S. editor. Sharma, Bobby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4362-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Big Data, Machine Learning, and Applications Proceedings of the 2nd International Conference, BigDML 2021
Big Data, Machine Learning, and Applications Proceedings of the 2nd International Conference, BigDML 2021
Author 
Borah, Malaya Dutta. editor. Laiphrakpam, Dolendro Singh. editor. Auluck, Nitin. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3481-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action