- ECU Libraries Catalog

Start Over

You searched for: author_facet Huth, Michael

Showing 1 - 4 of 4 results

Search Results

Cover image for Mathematical Foundations of Advanced Informatics Volume 1

Mathematical Foundations of Advanced Informatics Volume 1

by Steffen, Bernhard
2018
Format: Electronic

Location
Access Content Online

Cover image for Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

by Huth, Michael
2013
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Logic in computer science

Logic in computer science

by Huth, Michael, 1962-
2004
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.L63 H88 2004	✔ Available