机译:诚信项目中首次使用的CSD
机译:用稻草制成的生物乙醇首先被用作清洁剂
机译:在项目中首次使用
机译:带屏蔽的测量室首次成功使用:带屏蔽且无振动
机译:热回收(WRG)成功用于商业制冷
机译:非CSD项目中上下文相关设计(CSD)的前体。
机译:CSD2CSD3和CSD4是酿酒酵母中几丁质合成所需的基因:CSD2基因产物与几丁质合酶以及根瘤菌属和非洲爪蟾中发育受调节的蛋白质有关。
机译:行为和归纳重写(特邀演讲)11本文报道的研究得到了美国国家科学基金会(National Science Foundation)资助CCR-9901002以及日本信息促进局(IPA)的CafeOBJ项目的部分支持,这是其高级软件技术计划的一部分。可以在他们的网站(网址分别为http://www.ucsd.edu/users/{goguen,klin,grosu})上找到作者。有关BOBJ系统的更多信息,请访问http://www.ucsd.edu/groups/tatami/bobj/。注意:作者的所有论文都可以在其网站上找到,它们的网址分别为www.ucsd。 edu / users / {goguen,klin,grosu}。有关BOBJ系统的更多信息,请访问www.ucsd.edu/groups/tatami/bobj/。