登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

弱互模拟等价类算法改进
出版社：中国科学院
出版年：2009
作者：李伟松
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

模态逻辑公式为见证的互模拟等价判定
  • 作者：李明
  • 出版社：中国科学院
  • 出版年：2009
...

嵌套谓词等式系与弱互模拟
  • 作者：林惠民
  • 出版社：中国科学院
  • 出版年：1998
...

无穷状态系统互模拟判定算法
  • 作者：陈海燕
  • 出版社：中国科学院
  • 出版年：2008
...

加标规约互模拟与高阶互模拟研究
  • 作者：曹子宁
  • 出版社：中国科学院
  • 出版年：2003
...

交错双栅慢波结构等效电路及其改进型慢波结构高频特性和注波互作用模拟
  • 作者：李金磊
  • 出版年：2017
...

拟颗粒模拟的改进与应用
  • 作者：赵明璨
  • 出版社：中国科学院过程工程研究所
  • 出版年：2022