Limit Search Results
Author
SpringerLink (Online service)
(181)
Garau, Chiara. editor. (orcid)
(4)
Gervasi, Osvaldo. editor. (orcid)
(4)
Murgante, Beniamino. editor. (orcid)
(4)
Abdelnour Nocera, José. editor.
(3)
Language
English
(185)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
185 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520854.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Author 
Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520927.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Author 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521157.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Author 
Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521248.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Author 
Snider, Ross K. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520191.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15416-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Author 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520342.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Author 
Parsa, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520377.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Author 
Ball, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520393.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-38826-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
Author 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520547.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42310-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520513.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37231-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action