- ECU Libraries Catalog

Start Over

You searched for: author_facet Liu, Zhiming

Showing 1 - 10 of 21 results

Search Results

Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

by Bowen, Jonathan P.
2025
1st ed. 2025
Format: Electronic

Location
Access Content Online

Cover image for Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

by Seidl, Helmut
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

by Bowen, Jonathan P.
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

by Bowen, Jonathan P.
2018
1st ed. 2018
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

by Bowen, Jonathan P.
2017
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

by Liu, Zhiming
2016
1st ed. 2016
Format: Electronic

Location
Access Content Online

Cover image for Dependable Software Engineering

Dependable Software Engineering

by Li, Xuandong
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

by Fiadeiro, José Luiz
2014
Format: Electronic

Location
Access Content Online

Cover image for Mechanical and electronics engineering VI

Mechanical and electronics engineering VI

by Liu, Zhiming
2014
Format: Electronic

Location
Access Content Online

Cover image for Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

by Liu, Zhiming
2013
Format: Electronic

Location
Access Content Online