Search results for ‘Mingsheng Ying’

Filter & Refine

      Cover image for Foundations of Quantum Programming
      Paperback
      Add to list Added to list

      Foundations of Quantum Programming

      Mingsheng Ying

      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…

      $264.95

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
      Hardback
      Add to list Added to list

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

      Mingsheng Ying

      A monograph presenting concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
      Paperback
      Add to list Added to list

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

      Mingsheng Ying

      Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Foundations of Quantum Programming
      Paperback
      Add to list Added to list

      Foundations of Quantum Programming

      Mingsheng Ying

      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…

      $152.95

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Model Checking Quantum Systems: Principles and Algorithms
      Hardback
      Add to list Added to list

      Model Checking Quantum Systems: Principles and Algorithms

      Mingsheng Ying (University of Technology, Sydney),Yuan Feng (University of Technology, Sydney)

      This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and…

      $223.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Fuzzy Logic and Soft Computing
      Paperback
      Add to list Added to list

      Fuzzy Logic and Soft Computing

      Describes possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. This book focuses on stable adaptive…

      $407.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Fuzzy Logic and Soft Computing
      Hardback
      Add to list Added to list

      Fuzzy Logic and Soft Computing

      Describes possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. This book focuses on stable adaptive…

      $407.99

      Available to order, ships in 7-14 daysAvailable to order