中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共3条,第1-3条 帮助

条数/页: 排序方式:
A frequency-selective surface structure arbitrarily switched between band-pass and band-stop responses at low frequency 期刊论文  OAI收割
Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2018, 卷号: 26, 期号: 1, 页码: 142-149
作者:  
Xu, Yang;  Gao, Jin-Song;  Xu, Nian-Xi;  Shan, Dong-Zhi;  Song, Nai-Tao
  |  收藏  |  浏览/下载:16/0  |  提交时间:2019/09/17
an efficient lazy smt solver for nonlinear numerical constraints 会议论文  OAI收割
21st IEEE International WETICE Conference, WETICE 2012, Toulouse, France, June 25, 2012 - June 27, 2012
Ji Xiaohui; Ma Feifei
  |  收藏  |  浏览/下载:16/0  |  提交时间:2013/09/22
smt-based bounded model checking for real-time systems 会议论文  OAI收割
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Liang
收藏  |  浏览/下载:66/3  |  提交时间:2011/06/13