1
Model checking quantum systems : principles and algorithms /

Cover is for reference only
Main Authors: Ying, Mingsheng
Group Author: Feng, Yuan, 1977-
Published: Cambridge University Press,
Publication Dates: 2021.
Call Number: TP385/Y518-1
Book
Save to List
Saved in:
2
Foundations of quantum programming /

Cover is for reference only
Main Authors: Ying, Mingsheng
Published: Elsevier,
Publication Dates: [2016]
Call Number: TP385/Y518
Book
Save to List
Saved in:
3
Foundations of quantum programming /

Cover is for reference only
Main Authors: Ying, Mingsheng
Corporate Authors: Elsevier Science & Technology.
Published: Morgan Kaufmann, an imprint of Elsevier,
Publication Dates: [2016]
eBook
Save to List
Saved in:
4
Fuzzy logic and soft computing

Cover is for reference only
Group Author: Chen Guoqing 1956-; Ying Mingsheng; Cai Kai-Yuan 1965-
Published: Kluwer Academic Publishers,
Publication Dates: c1999.
Call Number: TP18/F994
Book
Save to List
Saved in:
5
Topology in process calculus approximate correctness and infinite evolution of concurrent programs

Cover is for reference only
Main Authors: Ying Mingsheng.
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6/Y518
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —