• 阿姆斯特

• 1条引用[sw02423]
• 解决方案是整合现在可用的广播-面向宽带卫星网络接入互联网。。。自适应多播路由（AMRST）协议可靠的以及全球用户的自适应多播服务。。。利用卫星实现多播性能广播能力。仿真结果表明，该方法是可行的。。。

• 数学软件

• 引用5880篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• 抱怨

• 引用417篇文章[sw00610]
• 由专家制作用于各种。。。

• 旋转

• 引用709篇文章[sw03455]
• Spin是一个流行的开源软件工具。。。

• Visual Basic

• 引用298篇文章[sw03518]
• VisualBasic是第三代事件驱动。。。

• CPLEX公司

• 引用2550条[sw04082]
• IBM®ILOG®CPLEX®提供C、C++、Java、.NET。。。

• 康索尔

• 参考文献367篇[sw04091]
• COMSOL多物理工程仿真软件环境有助于。。。

• EISPACK公司

• 引用486篇文章[sw04208]
• EISPACK是Fortran子程序的集合，这些子程序。。。

• 林帕克

• 引用514篇文章[sw04209]
• LINPACK是Fortran子程序的集合，这些子程序。。。

• TLA公司

• 在26篇文章中引用[sw04442]
• TLA代表动作的时间逻辑。。。

• 林多

• 引用535篇文章[sw04448]
• 林多系统优化软件：整数规划，线性规划。。。

• 乌帕阿尔

• 参考625篇文章[sw04702]
• Uppaal是一个用于建模的集成工具环境。。。

• z3型

• 引用496篇文章[sw04887]
• Z3是一个高性能的定理证明器。。。

• CADP

• 引用130篇文章[sw04993]
• “分布式过程的构造和分析”，以前。。。

• VRP公司

• 引用987篇文章[sw05207]
• 车辆路径问题（VRP）是一个重要的问题。。。

• 莫德

• 引用659篇文章[sw06233]
• Maude是一种高性能的反思性语言。。。

• NumPy公司

• 在333篇文章中引用[sw06294]
• NumPy是科学计算的基础包。。。

• 禁忌搜索

• 在1041篇文章中引用[sw08556]
• 禁忌搜索的用户指南。我们。。。

• 和弦

• 207篇引用[sw09434]
• 一个可伸缩的点对点查找服务。。。

• 卡桑德拉

• 引用25篇文章[sw10949]
• 卡桑德拉：一种分散的结构化存储系统。卡桑德拉是。。。