Limit Search Results
Author
Language
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520802.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521324.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Author 
Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521258.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44245-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Author 
Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.
Preferred Shelf Number 
XX(521391.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31975-4
Format: 
Availability 
Online Library~1
Available:
Copies: