机译:综合形式方法专题
Univ Oslo, Dept Informat, Oslo, Norway;
Abo Akad Univ, Fac Sci & Engn, Comp Sci, Turku, Finland;
机译:在用于政策支持的综合土地利用模型中比较规模和规模问题。 (特刊:农业系统综合评估中的缩放方法。)
机译:估算澳大利亚州领水内的历史商业大螯虾( Jasus edwardsii i>),以评估海洋保护区:二项式似然法。 (主题:生物多样性保护的方法和实践。)
机译:规模变更和模型链接方法,用于农业环境系统的综合评估。 (特刊:农业系统综合评估中的缩放方法。)
机译:消息新鲜度和重播主题的变化,或者设计正式方法来分析密码协议的难度
机译:正式主题的开发中的问题,或“如何使建筑物看起来更好”(德克萨斯州)。
机译:编辑为特殊问题天然产品的总综合:致力于教授Dieter Schinzer博士的主题问题他的65岁生日
机译:关于综合形式方法的主题问题
机译:计算科学:工业中正式方法的部署:Fp7 ICT部署综合项目的遗产。