• TTSLI

  • 1篇参考文献[SW02476]
  • 引入树元组同步的 文法(TTSG),最近重新制定了…
  • 辅酶Q

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

  • 15篇参考文献[SW0517]
  • 在本文中,我们提出了LGS -几何…
  • MATLAB

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

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

  • 393篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。
  • 库达

  • 1118篇参考文献[SW03258]
  • NVIDIA®CUDA®工具包提供了全面的发展…