Author books / Книги автора Mingsheng Ying,Yuan Feng » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Mingsheng Ying,Yuan Feng

book Model Checking Quantum Systems: Principles and Algorithms

Model Checking Quantum Systems: Principles and Algorithms

pdf

Author: Mingsheng Ying, Yuan Feng
Language: English
Year: 2021

00

07.02.2024

0

0

book Model Checking Quantum Systems: Principles and Algorithms

Model Checking Quantum Systems: Principles and Algorithms

epub

Author: Jianxin Wu, Mingsheng Ying
Language: English
Year: 2020

00

07.02.2024

0

0

book Foundations of Quantum Programming

Foundations of Quantum Programming

pdf

Author: Mingsheng Ying
Language: English
Year: 2016

00

30.01.2024

0

0

book Foundations of Quantum Programming

Foundations of Quantum Programming

pdf

Author: Mingsheng Ying
Language: English
Year: 2016

00

27.01.2024

0

0

book Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

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

pdf

Author: Mingsheng Ying (auth.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Fuzzy Logic and Soft Computing

Fuzzy Logic and Soft Computing

pdf

Author: Didier Dubois Henri Prade (auth.) Guoqing Chen Mingsheng Ying Kai-Yuan Cai (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0