AMoRE - Automata, Monoids, and RegExps 1.0

相关软件

• LEP 免费

  文字 Eclipse 编程帮助开发人员编写结构化的、记录良好的源代码。LEP 将源代码和文档的自动提取集成到熟悉的日食环境中。完全支持编译和调试。

• PHiMX 免费

  PHiMX 是一个命令行工具，用于在 PHP5 中生成项目的 XMI 代码。它可以递归分析多个 PHP 脚本目录，支持各种 XMI 格式，并允许集成您自己的include_path。

• PONS PREMIUM German TR 免费

  PONS 是德语作为外语的最全面标准参考工具，包含 77，000 个关键字、短语和构造以及 125，000 多个定义和示例。这是一个功能齐全的试用版！你在学德语，需要一本合适的字典吗？你处理不同学科领域的词汇，如技术，运动或医学？您有时对表达和拼写有疑问吗？你想增加你的词汇量吗？为德语作为外语的 PONS 高级词典 – "为德语高级学习者开发 "确保快速可靠的结果。谁可以特别受益于这个程序？德语高级学习者和德语教师作为外语的内容： * 约 77，

• WWE SmackDown All Cheats 免费

  **已经更新广告格式，以符合谷歌Play开发者计划政策**WWE击倒应用程序的所有系列作弊功能包括：-收集作弊和代码的WWE击倒游戏所有主要系列如下**WWF击倒！Wwf 击倒！2： 知道你的角色哇！带上它！闭上你的嘴， 把击倒！疼痛来了！vs. Rawwwe 击倒！vs.RAW 2006wwe 击倒 vs. 原始 2007wwe 击倒 vs. 原始 2008wwe 击倒 vs. 原始 2009wwe 击倒 vs. 原始 2010WWE Smac

• freebots 免费

  用巨蛇写的3D机器人模拟器。 使用 ODE 物理和 OpenGL/Inventor 图形。 提供了差速器轮机器人。 没有用户界面，但代码很小，旨在轻松扩展您的模拟。

• JCVI Primer Designer 免费

  这是 J. Craig Venter 研究所使用的高吞吐量 PCR 底标设计软件。参见：Li K等人的"新颖计算方法"，用于提高定向测序中PCR引项设计效率。BMC 生物信息学 2008， 9：191.

• FlameBitmaps 免费

  计算 2D-灰度位图 使用不同的图像处理算法将 3D 旋转体从检测到的区域计算。专为德国航空航天中心 （DLR） 开发。已用项目：物质 （GUI）

• DICT Client 免费

  DICTC 是 Win32 的方便的 DICT 客户端。使用 DICT 协议 （RFC2229） 通过 Internet 访问人类语言词典数据库。

• Mechanicus 免费

  机械是玩家构造车辆之间的比赛模拟器。这个项目实际上被放弃了。

• Autoprime 免费

  AutoPrime 允许快速设计底向器，用于实时 PCR 测量桉色表达。