CORC

在结果中检索

CORC

浏览/检索结果: 共11条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
LRIG1,EGFR,E-Cadherin及N-Cadherin在胶质瘤中表达及其临床意义 期刊论文
临床神经外科杂志, 2016, 卷号: 13, 期号: 2, 页码: 118-121,126
作者:  王鹏[1];  杨勇[2];  王景文[3];  胡昌龙[4];  袁志诚[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
LRIG1体外对U251细胞的放疗增敏作用 期刊论文
江苏医药, 2015, 卷号: 41, 期号: 22, 页码: 2654-2658,封2
作者:  杨勇[1];  王景文[2];  胡昌龙[3];  王鹏[4];  袁志诚[5]
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/24
汽车雨量传感器 专利
申请日期: 2010-01-01,
作者:  李斌[1];  姚骏[2];  陶志文[3];  秦嘉诚[4];  环翾[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30
道路交通事故中驾驶员认定2例 期刊论文
法医学杂志, 2009, 卷号: 25, 期号: 2
作者:  洪仕君(1);  赵丽萍(1);  张志祥(2);  闫文(3);  李志(4)
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/04
面向对象软件的形式验证技术 学位论文
: 上海大学, 2007
作者:  文志诚[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10
基于Object-Z的形式化验证方法 期刊论文
计算机科学, 2007, 卷号: 34, 页码: 247-251
作者:  文志诚[1];  缪淮扣[2];  张新林[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/05/10
面向服务的软件体系结构的形式化 期刊论文
计算机工程, 2006, 卷号: 32, 页码: 4-5
作者:  孙军梅[1];  缪淮扣[2];  文志诚[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10
一种从Object-Z到CSP规格说明的转化方法 期刊论文
计算机科学, 2006, 卷号: 33, 页码: 263-267
作者:  文志诚[1];  缪淮扣[2];  许庆国[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10
基于Object-Z多态推理 期刊论文
计算机科学, 2006, 卷号: 33, 页码: 230-232,256
作者:  文志诚[1];  缪淮扣[2];  孙军梅[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10
一个Z的证明责任产生器 期刊论文
上海大学学报. 自然科学版, 2005, 卷号: 11, 页码: 495-499
作者:  沈毅[1];  缪淮扣[2];  文志诚[3];  陈怡海[4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10

©版权所有 ©2017 CSpace - Powered by CSpace