Showing 1 - 7 results of 7 for search 'Ying, Mingsheng', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Model-checking quantum systems principles and algorithms

    Model-checking quantum systems principles and algorithms by Ying, Mingsheng 1964-

    Published 2021
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Foundations of quantum programming

    Foundations of quantum programming by Ying, Mingsheng

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Foundations of quantum programming

    Foundations of quantum programming by Ying, Mingsheng

    Published 2024
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Model checking quantum systems principles and algorithms

    Model checking quantum systems principles and algorithms by Ying, Mingsheng 1964-, Feng, Yuan 1977-

    Published 2021
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Topology in process calculus approximate correctness and infinite evolution of concurrent programs

    Topology in process calculus approximate correctness and infinite evolution of concurrent programs by Ying, Mingsheng

    Published 2001
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs

    Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs by Ying, Mingsheng

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Foundations of quantum programming

    Foundations of quantum programming by Ying, Mingsheng

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: