Limit Search Results
Author
SpringerLink (Online service)
(99)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(5)
Margaria, Tiziana. editor.
(5)
Masak, Dieter. author.
(5)
Language
Publication Date
-
Subject
Computer industry.
(88)
Computer science.
(63)
Software engineering.
(44)
Computer system performance.
(18)
Artificial intelligence.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
150 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Advances in Computational Intelligence 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part II
Advances in Computational Intelligence 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521198.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43078-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521027.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34609-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Comprehensive Healthcare Simulation: Pharmacy Education, Practice and Research
Comprehensive Healthcare Simulation: Pharmacy Education, Practice and Research
Author 
Al-Worafi, Yaser Mohammed. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521591.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33761-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Author 
Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers
Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers
Author 
Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X Oshri, Ilan. editor. (orcid)0000-0001-6577-1795 Willcocks, Leslie. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15850-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Fault Prediction Modeling for the Prediction of Number of Software Faults
Fault Prediction Modeling for the Prediction of Number of Software Faults
Author 
Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7131-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Reliability Aspect of Cloud Computing Environment
Reliability Aspect of Cloud Computing Environment
Author 
Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action