Showing 41 - 55 results of 55 for search 'Liu, Zhiming, 1961-', query time: 0.23s Refine Results
  1. 41
    Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
    Published 2013
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 42
    Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Published 2013
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 43
    Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
    Published 2015
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 44
    Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /
    Published 2017
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  5. 45
    Theoretical aspects of computing - ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers /
    Published 2005
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  6. 46
    Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures /
    Published 2018
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  7. 47
    Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures /
    Published 2020
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  8. 48
    Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
    Published 2017
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 49
    Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  10. 50
    Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Book
  11. 51
    Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /
    Published 2013
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 52
    Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  13. 53
    Formal methods and hybrid real-time systems : essays in honour of Dines Bj��erner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Unknown
  14. 54
    Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures /
    Published 2018
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 55
    Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
    Published 2019
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search