返回首页 联系帮助
交互式马尔可夫链 并发系统的设计、验证与评价
下载此书RAR压缩包在线购买PDF电子书
吴尽昭,王永祥,覃广平著2007 年出版109 页ISBN:7030188667
本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容:1. IMC上的分支时间等价和前序关系;2. 基于IMC的模型检验;3. IMC上的动作细化理论。...
初中应用物理知识竞赛指要
田有民主编;王梦蝶,朱普泽,邹满云,胡国民,张丽芳,熊小亮,熊光明编委;朱逢禹,熊小亮总校审1992 年出版244 页ISBN:7810302264
彩电电源元器件参数和代换手册
袁光明,袁洪波编1997 年出版262 页ISBN:7810437151
计算机集成电路资料大全
郭先福,袁光明编著1994 年出版392 页ISBN:7561606818
家庭常用电子电器产品电路图集 续一
袁光明,袁洪波等1993 年出版146 页ISBN:7561618735
社会主义若干问题十五讲
中国历史唯物主义研究会,光明日报理论部编1990 年出版344 页ISBN:7501109508
家庭常用电子电器产品电路图集 续四
袁光明,袁洪波等1994 年出版158 页ISBN:7561614853
家庭常用电子电器产品电路图集 续三
袁光明,袁洪波等1994 年出版160 页ISBN:7561618735
中国现代文学名著丛书 丁玲卷
丁玲著;傅光明主编1997 年出版525 页ISBN:7806053824
暂缺《中国现代文学名著丛书(丁玲卷)》简介
国家统计数据质量管理研究 上
邱东,吕光明等著2016 年出版565 页ISBN:7303206247