Ice formation; Casualties; Warning systems; Ice forecasting; Data bases; Water flow; Emergencies; Information exchange; Damage; Monitoring; Case studies; Wounds and injuries; Remote detection; Maine; Kennebec river(Maine); Ice jams; Ice jam database;
机译:旋转模型检查和软件验证: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马克,软封面。
机译:Sibur-Khimprom提高了乌克兰市场的9月EPS价格,九月25美元/吨
机译:固定汽油价格(2001年9月22日至23日,巴林; 2001年9月25日至26日,迪拜)
机译:IEC 61400-25界面使用MMS和Web服务进行风电厂的远程监控控制
机译:利用遥感和GPS数据分析南极地壳运动:在冰量变化研究中的应用。
机译:皇家维多利亚医院两百周年科学会议论文集。贝尔法斯特1997年9月25日至26日。
机译:火山碎屑块:意大利那不勒斯湾的快速底辟结构。欧洲地球物理学会(EGs),第25届大会,地球,行星和太阳系千年会议。尼斯(法国)25-29 aprii 2000。