机译:综合形式方法专题
机译:在用于政策支持的综合土地利用模型中比较规模和规模问题。 (特刊:农业系统综合评估中的缩放方法。)
机译:估算澳大利亚州领水内的历史商业大螯虾( Jasus edwardsii i>),以评估海洋保护区:二项式似然法。 (主题:生物多样性保护的方法和实践。)
机译:消息新鲜度和重播主题的变化,或者设计正式方法来分析密码协议的难度
机译:正式主题的开发中的问题,或“如何使建筑物看起来更好”(德克萨斯州)。
机译:编辑为特殊问题天然产品的总综合:致力于教授Dieter Schinzer博士的主题问题他的65岁生日
机译:前言(与第五届综合形式方法会议IFM 2005关联的博士研讨会上的特殊问题(2005年11月29日,荷兰埃因霍温))
机译:计算科学:工业中正式方法的部署:Fp7 ICT部署综合项目的遗产。