LIBROS DEL AUTOR: mingsheng ying

4 resultados para LIBROS DEL AUTOR: mingsheng ying

mingsheng ying Eliminar filtro Quitar filtros
  • Model Checking Quantum Systems
    Mingsheng Ying / Yuan Feng
    ...
    Disponible

    91,09 €

  • Topology in Process Calculus
    Mingsheng Ying
    The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for...
    Disponible

    66,56 €

  • Topology in Process Calculus
    M. Ying / Mingsheng Ying
    The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for...
    Disponible

    65,21 €

  • Fuzzy Logic and Soft Computing
    Chen / Guoqing Chen / Mingsheng Ying
    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 optimization, linguistic modifiers for word computati...
    Disponible

    206,22 €