• 加玛尔

  • 226篇参考文献[SW11132]
  • 可及作者使用相当地即使在先进的情况下也能顺利进行…
  • 科普特

  • 159篇参考文献[SW02691]
  • 这对于模型特别适用。相当地非线性约束,特别是当它很困难的时候…
  • 电除尘器

  • 150篇参考文献[SW06302]
  • 年。学生一般学习使用ETPS相当地只是通过阅读手册(这…
  • Simula 67

  • 134篇参考文献[ SW21333 ]
  • Kristen Nygaard。句法上,它是一个相当地Algl 60的忠实超集Simula 67介绍…
  • 简单性

  • 83篇参考文献[SW14893]
  • 比现有的更快。该系统是相当地鲁棒的图像改变…
  • 罗纹图

  • 44篇参考文献[SW09627 ]
  • 过程确保订单P=4已经相当地独立的Krylov子空间的低维…
  • 跳房子

  • 43篇参考文献[SW0413]
  • 存储需求和编程的简易性。几个相当地给出了保证收敛的一般条件。
  • 斯特马克

  • 34篇参考文献[SW19164]
  • 讨论迫切需要展览会水印系统的评估程序和第一个基准…
  • 拍打

  • 30篇参考文献[SW13258]
  • 自由度、发散自由度、可达性、LTL性质公平假设、细化检验和概率模型检验…
  • 玛丽亚

  • 18篇参考文献[SW04127]
  • 高级Petri网的检查公平约束条件。代数包含强大的构建…
  • 模特儿

  • 18篇参考文献[SW12368]
  • 包括额外的搜索空间限制和公平策略,给出逻辑的决策程序…
  • 笼子

  • 18篇参考文献[SW21206]
  • 几种格式。如果你有一个正常的,相当地用Java编写的现代UNIX系统…
  • QPSUR

  • 16篇参考文献[SW06918]
  • 计算效率高的特定结构相当地稳健的方式相比其他…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 减少对正义要求的同情要求(强)公平弱化公平特别关注…
  • SMV

  • 13篇参考文献[SW04135]
  • 时间属性的类,包括安全性,LIVENESS,公平和死锁自由,要指定…
  • ISNAS

  • 12篇参考文献[SW0466]
  • 方程(也称为输运方程)相当地一般网格通过边界拟合…
  • 灶神星

  • 10篇参考文献[SW0978]
  • 几乎任何大小的软件系统,从相当地小(10000个源线以下)
  • 马尔蒂瓦克

  • 10篇参考文献[SW06314]
  • 数值积分方案是可用的,它支持相当地一般前沿前进功能(“速度功能”…
  • 虹膜

  • 10篇参考文献[SW07075 ]
  • 优点类别(例如“非常好”,“好””展览会“不符合条件”,或将贷款申请人分类为…
  • 女职工

  • 10篇参考文献[SW21179]
  • FEMaLeCoP:相当地高效的机器学习连接证明器。FieleCopp是一个基于连接表定理证明器。