| 字段 | 字段内容 |
|---|---|
| 001 | 01172122 |
| 005 | 20160930112901.0 |
| 010 | $a: 978-7-302-44881-5$d: CNY39.00 |
| 100 | $a: 20160930d2016 em y0chiy0121 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 110000 |
| 105 | $a: ak a 000yy |
| 106 | $a: r |
| 200 | $a: 实时随机系统模型检测$A: shi shi sui ji xi tong mo xing jian ce$b: 可供$f: 张君华著 |
| 210 | $a: 北京$c: 清华大学出版社$d: 2016.9 |
| 215 | $a: 107页$c: 图$d: 24cm |
| 320 | $a: 有书目 (第96-107页) |
| 330 | $a: 本书以实时随机系统为研究对象, 以描述实时随机系统的典型模型-离散 (连续) 时间Markov决策过程、概率时间自动机及其扩展模型为基础, 就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题, 展开了一系列研究。 |
| 333 | $a: 本书适合高年级本科生或研究生阅读 |
| 606 | $a: 随机系统$A: sui ji xi tong$x: 系统模型$x: 检测 |
| 690 | $a: O231$v: 5 |
| 701 | $a: 张君华$A: zhang jun hua$4: 著 |
| 801 | $a: CN$b: 湖北三新$c: 20161014 |
| 999 | $b: 3 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第40795014位用户访问本系统