• 阿古斯

  • 引用2篇文章[sw03034]
  • 强制执行环境要求,因此成本-最优的经济转型是。。。适用于欧洲各国。结果成本各种情况下的功能是必不可少的。。。多国减排分配。成本-贴现效应和时间路径。。。给定范围内的减排方案计划考虑地平线(至2020年)。结果。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 沉香

  • 第1154条引用[sw04002]
  • SeDuMi是一个用于求解的Matlab工具箱优化...
  • 卡德

  • 在147篇文章中引用[sw04446]
  • CUDD包提供操作二进制文件的函数。。。
  • 图规划

  • 引用180篇文章[sw07746]
  • 计划通过计划图形分析。我们介绍。。。