• 努西姆

• 引用了295篇文章[sw04131]
• 地区。NuSMV2，联合收割机基于BDD的模型检查组件，利用CUDD图书馆发达的。。。

• 火焰

• 在38篇文章中引用[sw00293]
• 线性代数运算大大简化。在结合在我们的形式线性代数方法环境中。。。不仅仅是一个执行的工具图书馆也是一个很有价值的教学工具。。。包含在图书馆. 在结合用平行线的延伸。。。

• 帕迪索

• 引用269篇文章[sw00679]
• 2004年首次发行。的特点图书馆版本：不对称，结构对称或对称系统。。。SMPs和SMP集群。自动结合迭代和直接求解算法加速。。。

• 忍者

• 引用了37篇文章[sw02398]
• 用一个结合一流的图书馆（Java中的包）实现真正的多维数组。。。

• Rcparmadillo公司

• 引用74篇文章[sw09313]
• 阿特拉斯图书馆. 延迟求值方法（在编译期间）用于结合几次手术。。。递归模板和模板元编程。这个图书馆如果C++已经决定。。。

• 伊兰

• 参考文献108篇[sw02179]
• 哪些演绎系统可以表达出来合并语言的评价机制。。。这几页总结了ELAN的特点，图书馆为环境和环境提供指导。。。

• 犰狳

• 引用71篇文章[sw05863]
• 通过与LAPACK和ATLAS的可选集成图书馆. 一种基于模板的延迟评价方法。。。编程，用于（在编译期间）用于结合几次手术合二为一，减少。。。

• OpenMPI

• 引用81篇文章[sw13111]
• 高性能消息传递图书馆. 开放MPI项目是一个开放源码的消息传递。。。合作伙伴。开放式MPI因此能够结合来自。。。为了建立最好的MPI图书馆可用。开放式MPI为系统提供了优势。。。

• 斐济

• 引用21篇文章[sw09754]
• 现代软件工程实践结合功能强大的软件图书馆有广泛的脚本。。。

• 煤油

• 引用94篇文章[sw15491]
• 如果你需要深入的学习图书馆这：允许简单和快速的原型。。。网络和循环网络，以及组合两人中的一个。支持任意连接方案。。。

• CGALmesh公司

• 在10篇文章中引用[sw12915]
• CGAL的正则三角剖分图书馆. 它联合收割机Delaunay细化和Delaunay过滤。。。

• T-咖啡

• 在39篇文章中引用[sw13195]
• 序列。这为我们提供了一个图书馆可以使用的对齐信息。。。结合以生成图书馆. 最终的路线。。。

• 太阳能

• 17条引用[sw08711]
• 高性能图书馆用于核心外稠密矩阵计算。它联合收割机便携性高。。。存储器及其矩阵输入输出图书馆支持传统的I/O接口和并行。。。损害其性能。我们希望结合可移植性，模块化。。。高级I/O接口将使图书馆一个重要的研究平台。。。

• 双酚A

• 引用8篇文章[sw08399]
• 旨在与CUMODP交互图书馆哪一个联合收割机串行C代码和多线程CUDA。。。

• 狂热的

• 引用5篇文章[sw16270]
• 功能性的组合子 图书馆描述高级别数据包转发策略。不像。。。

• 瓶

• 引用5篇文章[sw09691]
• 消费；更高层次的“数据流”组合子 图书馆为了快速构建传感器网络程序。。。

• 斑点

• 引用25篇文章[sw09473]
• 图书馆提供可以合并与第三方工具连接。。。

• 罗塞塔

• 参考22篇文章[sw10969]
• 班图书馆提供了一组基本的构建块和方法结合这些。。。课程建设过程中做出的选择图书馆已经概述，和例子。。。

• 单反管

• 引用3篇文章[sw28602]
• Monatron：一种可扩展的Monad转换器图书馆. 单子在函数式编程中非常普遍。整齐。。。他们的抽象能力的好处，组合子 图书馆因为单子是必要的。Monad变形金刚提供。。。

• X米尔

• 参考33篇文章[sw12312]
• 速度。称为XMill的压缩机包含和联合收割机为了应用现有的压缩机。。。异构XML数据：它使用zlib图书馆函数，一个数据类型的集合。。。