Search Results for Dubois, Catherine.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

4 Results Found

0000DEFAULT

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:

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:

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:

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}