It looks like you're offline.
Donate
♥
English
العربية
Čeština
Deutsch
English
Español
Français
हिंदी
Hrvatski
Italiano
한국어
Português
Română
Sardu
తెలుగు
Українська
中文
Filipino
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Search
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited anonymously
April 29, 2008 |
History
Edit
Mingsheng Ying
5 works
Add another?
Most Editions
No Preview
Foundations of Quantum Programming
by
Mingsheng Ying
First published in 2016
4 editions
Nearby Libraries
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
Stopped Reading
My Reading Lists:
Use this Work
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
No Preview
Topology in Process Calculus
by
Mingsheng Ying
First published in 2001
3 editions
Nearby Libraries
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
Stopped Reading
My Reading Lists:
Use this Work
Create a new list
No Preview
Model Checking Quantum Systems
by
Mingsheng Ying
and
Yuan Feng
First published in 2021
3 editions
Nearby Libraries
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
Stopped Reading
My Reading Lists:
Use this Work
Create a new list
No Preview
Fuzzy Logic and Soft Computing (THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE Volume 6) (The International Series ... Studies in Computer and Information Science)
by
Guoqing Chen
,
Mingsheng Ying
, and
Kai-Yuan Cai
First published in 1999
3 editions
Nearby Libraries
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
Stopped Reading
My Reading Lists:
Use this Work
Create a new list
No Preview
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
by
Mingsheng Ying
First published in 2001
1 edition
Nearby Libraries
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
Stopped Reading
My Reading Lists:
Use this Work
Create a new list
Subjects
Algebraic topology
Beweis
Bisimulation
Computer programming
Fuzzy logic
Korrektheit
Mathematics
Parallel processing (Electronic computers)
Parallel processing (electronic computers)
Paralleles Programm
Prozessalgebra
Soft computing
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL2683478A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON