- ECU Libraries Catalog

Start Over

You searched for: author_facet Dubois, Catherine

Showing 1 - 5 of 5 results

Search Results

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

by Dubois, Catherine
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

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

by Dubois, Catherine
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

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

by Dubois, Catherine
2018
Format: Electronic

Location
Access Content Online

Cover image for Piano quintet in C minor

Piano quintet in C minor

by Friskin, James
2012
Format: Audio (Streaming)

Location
Access Content Online

Cover image for Tests and proofs

Tests and proofs

by TAP 2009
2009
Format: Electronic

Location
Access Content Online