机译:第二届并发理论中几何和拓扑方法研讨会论文集,GETCO 2000,ENTCs vol。 39(2)
机译:评论“在材料交易JIM Vol。39,No. 8和No. 12(1998)和Vol.1中发表的有关Zr-Ti-Al-Ni-Cu非晶态合金薄板和Zr-Al-Ni-Cu非晶态合金丝的论文41. No. 11(2000)”,Tao Zhang和Akihisa Inoue,以及与《材料交易》卷中的勘误的相关性。 51,No.8(2010)
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:第二届内陆有鳍鱼类水产养殖多样化讲习班论文集
机译:DIPED-2000。第五届国际电磁波和声波理论正反问题研讨会/研讨会论文集(IEEE目录号00TH8508)
机译:蛋白质结构分析中的几何和拓扑方法。
机译:第3届并发理论中几何和拓扑方法研讨会论文集,GETCO 2001,ENTCs vol。 52(2)
机译:ERHIC研讨会(第二届)研讨会论文集。 2000年6月21日在耶鲁大学举行