• 行程

  • 17条引用[sw05726]
  • 行程是一般的计算机代数系统致力于天体力学。它包括一个数字。。。
  • IPS公司

  • 1条引用[sw32643]
  • 交互式配置包系统对于旅行计划。当计划旅行,一个基本任务。。。可在旅行. 使用现有的旅游指南或网站,如。。。在演示中,我们提出了一个交互式的包配置系统(IPS),它可视化了不同的候选包。。。从一个包裹里。与现有相比旅行计划系统,我们相信IPS是正确的。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 基于模型的实时性和嵌入式验证系统在使用图形的Eclipse建模框架中。。。用一个简单的回合来说明我们的方法旅行时间协议。。。
  • VDM工具

  • 参考第2条[sw18244]
  • 时间系统. VDMTools提供广泛的静态语义检查、自动代码生成、round-旅行映射。。。
  • 森林

  • 1条引用[sw11313]
  • 通过构建一个文件系统可视化工具,文件访问检查器,通用查询。。。经典树逻辑与证明圆-绊倒显示加载和存储功能。。。
  • 拉帕克

  • 引用于1604篇文章[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 神经元

  • 引用了173篇文章[sw03059]
  • 神经元并行网络仿真。神经元模拟。。。
  • 康索尔

  • 引用360篇文章[sw04091]
  • COMSOL多物理工程仿真软件环境有助于。。。