进程代数 王永祥,吴尽昭,蒋建民 著 科学出版社【售后无忧】 正版图书，下单前请先咨询客服，欢迎选购！
¥129.31定价：¥268.62 (4.82折)
交互式马尔可夫链 吴尽昭,王永祥,覃广平 著 科学出版社【放心购买】 正版图书，下单前请先咨询客服，欢迎选购！
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥73.68定价：¥157.36 (4.69折)
交互式马尔可夫链【达额立减】 【正品保证，进入店铺更多优惠！】
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥65.51定价：¥419.02 (1.57折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥69.97定价：¥140.94 (4.97折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥69.10定价：¥139.20 (4.97折)
交互式马尔可夫链【可开电子发票】 【正品保证，进入店铺更多优惠！】
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥66.07定价：¥310.14 (2.14折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥82.00定价：¥244.00 (3.37折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥69.10定价：¥139.20 (4.97折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥82.00定价：¥244.00 (3.37折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥69.10定价：¥139.20 (4.97折)
¥167.00定价：¥414.00 (4.04折)
¥155.82定价：¥312.64 (4.99折)
¥130.83定价：¥549.66 (2.39折)
¥146.00定价：¥293.00 (4.99折)
¥155.82定价：¥312.64 (4.99折)
¥157.32定价：¥315.64 (4.99折)
¥131.58定价：¥441.16 (2.99折)
¥146.00定价：¥293.00 (4.99折)
¥125.60定价：¥252.20 (4.99折)
交互式马尔可夫链——并发系统的设计、验证与评价 【速开发票，此书为单本而非一套，支持7天无理由退换】
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。
¥61.10定价：¥123.20 (4.96折)
进程代数——对称与动作细化 【速开发票，此书为单本而非一套，支持7天无理由退换】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥106.60定价：¥214.20 (4.98折)
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥127.60定价：¥256.20 (4.99折)
进程代数对称与动作细化【正版书籍】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥105.00定价：¥263.00 (4折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭 科学出版社 9787030188656 正版图书,下单速发,可开发票
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥145.50定价：¥292.00 (4.99折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥103.91定价：¥208.22 (5折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥106.45定价：¥214.30 (4.97折)
进程代数——对称与动作细化蒋建民 著；王永祥；吴尽昭科学出版社9787030188656 正版旧书，保证质量，此书为单本而非一套，电子发票！
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥116.70定价：¥341.70 (3.42折)
民族院校哲学社会科学与民族院校改革发展 雷召海、吴尽昭 主编 民族出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书分为单位论文和专家论文两编，收录了《民族院校与民族文化传承创新——以广西民族大学为例》、《新时期民族院校繁荣发展哲学社会科学的几点思考》、《在服务经济社会发展中实现大学价值》等文章。
¥29.50定价：¥60.40 (4.89折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭 科学出版社【放心购买】 【速开发票，优质售后，支持7天无理由退换】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥115.47定价：¥318.94 (3.63折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭【速开发票，优质售后，支持7天无理由退换】 【正版】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥142.86定价：¥365.72 (3.91折)
进程代数——对称与动作细化 蒋建民 著；王永祥；吴尽昭 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
并发系统常常在结构上展示出对称性，这种对称结构一般来说具有相同或相近的性质，本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用，力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法，为高效机械化设计和分析并发系统服务。 本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。
¥106.61定价：¥213.62 (5折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥66.67定价：¥213.34 (3.13折)
交互式马尔可夫链 吴尽昭,王永祥,覃广平 著 科学出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥60.00定价：¥127.00 (4.73折)
进程代数 王永祥,吴尽昭,蒋建民 著 科学出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥76.00定价：¥169.37 (4.49折)
¥117.00定价：¥117.00
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥108.00定价：¥108.00
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥108.00定价：¥108.00
¥117.00定价：¥117.00
¥122.38定价：¥324.76 (3.77折)
交互式马尔可夫链——并发系统的设计、验证与评价 覃广平 著；吴尽昭；王永祥 科学出版社【售后无忧】 【速开发票，优质售后，支持7天无理由退换】
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。
¥60.34定价：¥208.68 (2.9折)
交互式马尔可夫链——并发系统的设计、验证与评价覃广平 著；吴尽昭；王永祥科学出版社9787030188663 正版旧书，保证质量，此书为单本而非一套，电子发票！
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术新成果的参考书。
¥63.00定价：¥223.60 (2.82折)
交互式马尔可夫链——并发系统的设计、验证与评价 覃广平 著；吴尽昭；王永祥 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。
¥38.95定价：¥78.30 (4.98折)
交互式马尔可夫链——并发系统的设计、验证与评价 覃广平 著；吴尽昭；王永祥 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。
¥41.65定价：¥83.70 (4.98折)
交互式马尔可夫链——并发系统的设计、验证与评价覃广平 著；吴尽昭；王永祥科学出版社（正版旧书）9787030188663 正版旧书，保证质量，此书为单本而非一套，电子发票！
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术新成果的参考书。
¥63.40定价：¥213.10 (2.98折)
交互式马尔可夫链——并发系统的设计、验证与评价 覃广平 著；吴尽昭；王永祥 科学出版社 9787030188663 正版图书,下单速发,可开发票
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术新成果的参考书。
¥71.47定价：¥143.94 (4.97折)
正版包邮交互式马尔可夫链——并发系统的设计、验证与评价 覃广平 著；吴尽昭；王永祥 科学出版社97870301 正版图书,下单速发,可开发票
通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。 本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术新成果的参考书。
¥69.10定价：¥139.20 (4.97折)
交互式马尔可夫链--并发系统的设计验证与评价/数学机械化丛书 吴尽昭王永祥覃广平 科学出版社
¥118.00定价：¥118.00
¥24.50定价：¥49.00 (5折)
¥28.42定价：¥49.00 (5.8折)
¥21.10定价：¥25.00 (8.44折)
交互式马尔可夫链(IMC)是一种功能行为与性能指标混合的并发系统模型，通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型，IMC提供了完美的可组合化的并发系统的设计及分析框架。本书主要介绍作者在IMC理论与应用方面的系统工作，理论方面介绍了IMC模型及IMC上的各种分支时间等价和前序关系，应用方面介绍了基于IMC的并发系统层次化设计以及功能验证与性能评价方法。
¥22.10定价：¥28.00 (7.9折)
¥33.70定价：¥45.00 (7.49折)
越南瑶族的今昔,杜光聚，阮琏著，奉恒高，朱华，谢尚果，吴尽昭，玉时阶编，黎巧萍，李娜译,民族出版社
¥66.00定价：¥9000 (0.08折)
是如何创造的 认识的20种科学理论 日 细川博昭 著 吴尽 译 9787111695516 机械工业出版社 正版图书
¥24.00定价：¥49.00 (4.9折)
