维普中文期刊产品整合服务
11篇 您的检索式:作者名="EWD"
    题名 作者 年代 出处 被引量
1Vitrectomy: a pars plana approach 显示文摘Machemer R Buettner H Norton EWD 1971Trans Am Acad Ophthalmol1971,75,:1
2Vitrectomy:a pars plana approach 显示文摘Machemer R Buettner H Norton EWD 1971Trans Am Acad Ophthalmol Otolaryngol1971,75,:1
3Cystoid macular edema and papilledema following cataract extraction: A fluorescein funduscopic and angiographic study 显示文摘Gass JDM Norton EWD 1958Arch Ophthalmol1958,76,5:1
4Classification of organic solutes in water by using macro reticular resins显示文摘LEENHEER JA HUFFMAN EWD 1976Journal Research US Geol Survey1976,4,6:1
5Vitrectomy :a pars plana approach显示文摘Machemer R Buettner H Norton EWD 1971Tr Am Acad Ophthalmol Otolaryngol1971,75,4:1
6Vitrectomy, A Pars plana approach 显示文摘Machemer R Buetmer H Norton EWD 1971Trans Am Acad Ophthalmol Ototaryngol1971,75,:1
7Intraocular gas in the management of selected retinal detachments 显示文摘Norton EWD 1973Trans Am Acad Ophthalmol Otolaryngol1973,77,:1
8Water and forest productivity显示文摘Gholz H L Ewd K C Teskey R O 1990Forest Ecology and Management1990,30,:1
9Acquired arterrial macroaneurysms of the retinal arteries显示文摘Lewis RA Norton EWD Gass JDM 0,,:1
10Vanadium and plant nutrition显示文摘Welch RM Huffman EWD 0,,:1
11Simply-typed Underdeterminism显示文摘An extension of the simply-typed lambda calculus with constructs for expressing a notioncalled underdeterminism is studied. This allows us to interpret notions of stub and skeletonused in top-down program development. We axiomatise a simple notion of program refinement,and give a semantics, for which the calculus is proved sound and complete.Ewen Denney(LFCS, Department of Computer Science, Universitg of EdinburphKings Buildings, Edinburph EH9 3JZ, Scotland)E-mail: ewd@dcs.ed.ac.uk 1998Journal of Computer Science & Technology1998,13,6:0
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

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

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

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