Mingsheng Ying – författare
Visar alla böcker från författaren Mingsheng Ying. Handla med fri frakt och snabb leverans.
13 produkter
Foundations of Quantum Programming
Häftad, 2016
1249 kr
Lägg i varukorg
Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. …
Foundations of Quantum Programming
E-bok, 2016
1379 kr
Lägg i varukorg
Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. …
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Inbunden, 2001
552 kr
Lägg i varukorg
Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and …
Foundations of Quantum Programming
Häftad, 2024
1527 kr
Lägg i varukorg
Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how …
Foundations of Quantum Programming
E-bok, 2024
2172 kr
Lägg i varukorg
Quantum computers promise dramatic advantages in processing speed over currently available computer systems. Quantum computing offers great promise in a wide variety of computing and scientific research, including Quantum cryptography, machine learning, computational biology, renewable energy, …
Fuzzy Logic and Soft Computing
Av Chen, Guoqing Chen m. fl.
Inbunden, 1999
1642 kr
Lägg i varukorg
Fuzzy Logic and Soft Computing contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in …
Model Checking Quantum Systems
Principles and Algorithms
Inbunden, 2021
1009 kr
Lägg i varukorg
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad …
Model Checking Quantum Systems
Principles and Algorithms
E-bok, 2021
1024 kr
Lägg i varukorg
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad …
Model Checking Quantum Systems
Principles and Algorithms
E-bok, 2021
1024 kr
Lägg i varukorg
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad …
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Häftad, 2012
568 kr
Lägg i varukorg
Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and …
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
E-bok, 2012
755 kr
Lägg i varukorg
Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and …
Fuzzy Logic and Soft Computing
Av Guoqing Chen, Mingsheng Ying m. fl.
Häftad, 2012
1642 kr
Lägg i varukorg
Fuzzy Logic and Soft Computing contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in …
Fuzzy Logic and Soft Computing
Av Kai-Yuan Cai, Mingsheng Ying m. fl.
E-bok, 2012
2111 kr
Lägg i varukorg
Fuzzy Logic and Soft Computing contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in …
