维普中文期刊产品整合服务
20篇 您的检索式:作者名="Easterbrook S"
    题名 作者 年代 出处 被引量
1Multi-valued symbolic model-checking显示文摘Chechik M Devereux B Easterbrook S 2003ACM Transactions on Software Engineering and Methodology2003,12,4:1
2Histidine-rich glycoprotein binds to human IgG and C1q and inhibits the formation of insoluble immune complexes显示文摘Gorgani N N Parish C R Easterbrook Smith S B 1997Biochemistry1997,36,22:1
3Leveraging inconsistency in software development 显示文摘NUSEIBEH B EASTERBROOK S RUSSO A 2000Gomputer2000,33,4:1
4Multi-valued symbolic model-checking显示文摘Chechik M Devereux B Easterbrook S et a1 2003ACM Transactions on Software Engineering and Methodology2003,12,4:1
5Multivalued symbolic model-checking显示文摘CHECHIK M DEVEREUX B EASTERBROOK S 2003ACM Transactions on Software Engineering and Methodology2003,12,4:1
6Using ViewPoints for Inconsistency Management显示文摘Easterbrook S Nuseibeh B 1996Software Engineering Journal1996,11,1:1
7Evaluation of an infor- mation booklet for caregivers of people with dementia, An Aus- tralian perspective显示文摘Chang E Easterbrook S Hancock K 2010Nurs Health Sci2010,12,1:1
8Leveraging incon- sistency in software development 显示文摘Nuseibeh B Easterbrook S Russo A 2000Computer2000,33,4:1
9Multi-valued symbolic model-checking显示文摘Chechik M Devereux B Easterbrook S 2003ACM Transactions on Software Engineering and Methodology2003,12,4:1
10Mycoplasma species in rapid and slow HIV progressors显示文摘AINSWORTH J G HOURSHID S EASTERBROOK P J 2000Int J STD AIDS2000,11,2:1
11Multi-valued symbolic model-checking显示文摘Chechik M Devereux B Easterbrook S 2003ACM Transactions on Software Engineering and Methodology (TOSEM)2003,12,4:1
12Base-catalyzed methanolysis of i-methyl m- and p-alkylbenzoates显示文摘NEWMAN M S EASTERBROOK E K 1955J Am Chem Soc1955,77,14:1
13Multi-valued symbolic model-checking 显示文摘CHECHIK M DEVEREUX B EASTERBROOK S 2003ACM Transactions on Software Engineering and Methodology2003,12,4:1
14Investigating Deaf Students'Use of Visual Multimedia Resources in Reading Comprehension显示文摘Nikolaraizi M Vekiri I Easterbrooks S 2013American Annals of the Deaf2013,,157:1
15Multi-valued symbolic model:checking 显示文摘Chechik M Devereux B Easterbrook S 2003ACM Trans on Software Engineering and Methodology ( TOSEM)2003,12,4:1
16Multi-valued symbolic model-checking显示文摘Chechik M Devereux B Easterbrook S 2003ACM Transactions on Software Engineering and Methodology (TOSEM)2003,12,4:1
17The metabolic toxicities of antiretroviral therapy显示文摘Herman J S Easterbrook P J 2001Int J STD AIDS2001,12,:1
18Making inconsistency respectable in software development显示文摘Nuseibeh B Easterbrook S Russo A 2001Joumal of Systems and Soft- ware2001,58,2:1
19Base-catalyzed methanolysis of i-methyl m-and p-alkylbenzoates显示文摘NEWMAN M S EASTERBROOK E K 1955J Am Chem Soc1955,77,14:1
20Experiences using lightweight formal methods for requirements modeling 显示文摘Easterbrook S Lutz R Covington R 1998IEEE Transactions on Software Engineering1998,24,1:1
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费