Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Intelligent Computer Mathematics 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Author 
Dubois, Catherine. editor. Kerber, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520882.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42753-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Author 
Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520888.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Author 
Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92994-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Author 
Dubois, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02949-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets