Showing 21 - 40 results of 55 for search 'Liu, Zhiming, 1961-', query time: 0.20s Refine Results
  1. 21
    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
  2. 22
    Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
    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.
    Conference Proceeding Book
  3. 23
    Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  4. 24
    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
  5. 25
    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
  6. 26
    Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers /
    Published 2014
    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. 27
    Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “...Liu, Zhiming, 1961-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 28
    Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
    Published 2016
    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. 29
    Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
    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 Conference Proceeding Book
  10. 30
    Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  11. 31
    Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings /
    Published 2022
    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
  12. 32
    Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /
    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.
    Book
  13. 33
    Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner 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.
    Book
  14. 34
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    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.
    Conference Proceeding Book
  15. 35
    Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    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 Conference Proceeding Book
  16. 36
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding
  17. 37
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  18. 38
    Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
  19. 39
    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.
    Conference Proceeding Book
  20. 40
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Liu, Zhiming, 1961-...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search