QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 哈萨克斯坦能源消费的碳排放动态演进分析 期刊论文 干旱区地理, 2013, 卷号: 36, 期号: 4, 页码: 757-763 作者:  王长建[1];  张小雷[2];  杜宏茹[3];  汪菲[4];  李俊[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/23 哈萨克斯坦  能源消费  碳排放  影响因素  对数平均迪氏指数法   Web网格服务下的同步机制的研究 期刊论文 微计算机信息, 2009, 卷号: 25, 页码: 77-78,46 作者:  张新林[1];  缪淮扣[2];  尹向东[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 同步机制  网格  服务   基于Object-Z的形式化验证方法 期刊论文 计算机科学, 2007, 卷号: 34, 页码: 247-251 作者:  文志诚[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/05/10 形式化验证  前后置条件  状态空间  电梯操作系统   线性时态逻辑中的特性模式 期刊论文 计算机应用, 2006, 卷号: 26, 页码: 1912-1915 作者:  黎升洪[1];  缪淮扣[2];  张新林[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/05/10 线性时态逻辑  特性模式  模型检查   Prolog与C程序连接的实现技术 期刊论文 上海大学学报(自然科学版), 1998, 卷号: 4, 页码: 101-105 作者:  李刚[1];  孙华[2];  张新林[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/05/11 人工智能  Prolog  C程序连接