Workshops; Floating bodies; Structures; Mobile; International; Offshore;
机译:水工业中的气味控制与预防-CIWEM-IAWQ国际水工业中控制与预防气味会议的部分论文集,于1999年9月22日至24日在英国伦敦举行-前言
机译:旋转模型检查和软件验证: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马克,软封面。
机译:1999年4月27日,波兰斯克拉斯卡波伦巴,第三届国际光谱学和稀土系统结构冬季国际研讨会论文集-前言
机译:议事录。第十三届IEEE国际技术支持研讨会:协作企业的基础架构
机译:在市场和社区中染成一个色彩缤纷的世界:1999年9月21日台湾中辽发生地震后,妇女们组织了植物-染料合作工厂
机译:第六届诺丁汉国际乳腺癌会议(1999年9月22日至24日)
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。