• 路径日志

  • 4篇参考文献[SW01607]
  • 对象(PLO-DB)。部分地 标记对象用于建模数据在整合两个库…半结构化的数据. 建议的PLO(部分地 标记对象)数据模型源于OEM数据模型并通过允许扩展部分的 标记物体的对于PLO-DB,我们提出…无模式数据库的一致性模型部分地 标记对象及其查询语言路径…
  • 12篇参考文献[SW18893]
  • 一般记录所有标签XML中根元素的路径数据. 这样的路径索引…大尺寸和详尽的航行部分的匹配路径查询开始自…
  • 2篇参考文献[SW29 33]
  • 层:顺序过程,局部并行组成,节点,部分的网络,以及完整的网络。这种发展机制…网络节点。它支持标签(弱化不变量)和(抽象)数据状态操作。框架…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • HSL

  • 250篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 514篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 诺蒂

  • 518篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • R

  • 7170篇参考文献[SW071]
  • R是一个统计的语言和环境。