• 苏打

  • 28篇参考文献[SW27 217]
  • 非刚性方法最初并动态监控数据以便决定哪种方法…
  • 熊猫

  • 33篇参考文献[SW01122]
  • 数据库。在第一个模块中最初的设计理念粗糙(不一定可行)…模式。在第二模块中,用户决定哪种设计参数…
  • 威尼卡特

  • 1篇参考文献[SW25228 ]
  • 前者。然而,本文也展示了可判定性表达式是否等于…许多实际情况,我们启动讨论可判定的全语言的子集…
  • 王牌

  • 8篇参考文献[SW22675 ]
  • 时间复杂度函数是由最初的功能程序。这个函数被转换成…定义因为复杂性不是可判定的财产,这种转变是不可能的…
  • 格拉格拉

  • 3篇参考文献[SW16822]
  • 表示AN生成的图形变换系统最初的网格、生成元素矩阵和消除树…一种图形变换系统的直接求解算法决定哪些元素必须进一步细化?
  • 托斯卡

  • 6篇参考文献[SW04242]
  • 某些情况下的瞬态情况最初的条件使人们能够模拟函数或分析…成功地应用了果断的通过包括能量来扩展它…
  • VisualPLS

  • 3篇参考文献[SW24655 ]
  • 极其畏惧最初的用户我们希望这个免费软件将允许研究人员…需要完成PLS分析。I决定要释放源代码…
  • ATBR

  • 1篇参考文献[SW28 615]
  • 标准有限自动机构造。请注意最初的作者认为这个图书馆将被取代…项目可以在纸上找到决定Kleene Algebras…
  • 概率值

  • 1篇参考文献[SW2015]
  • 报警,但也使可达性问题可判定的对于几乎任何混合系统。在ProbReach…行为以随机形式给出。最初的条件在本文中,我们介绍…
  • 强壮的天鹅

  • 1篇参考文献[SW1466]
  • X.509能力的扩展果断的启动StigSWAN计划…与它的祖先共享代码。最初那个守护进程只支持IKEv2,而IKEv1…
  • GCCSL

  • 1篇参考文献[SW1583]
  • 时钟约束规范语言({SCCsL})最初作为部分介绍…无效的GCCSCSL行为,以及决定是否也有GCCSCSL约束…
  • pSCON.TXT

  • 1篇参考文献[SW16809]
  • 线性递归是有效的最初的N值范围,但失败…假定线性递归决定无论它是否适用于所有的价值观…
  • 达摩西亚设计

  • 1篇参考文献[ SW10075 ]
  • 温室结构设计。陈述之后最初的需要一个专门的工具来帮助…知识管理与获取问题决定使用常用的方法…
  • 马穆特

  • 1篇参考文献[SW02504]
  • 对机器来说可能很难决定是否有特定的存储位置将…取决于应用的各种方式(例如,初始化一个字符串,重写一棵树。最后…
  • 辅酶Q

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

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