Coq4Eclipse

相关软件

• Zinuc 免费

  你总是厌倦了从你的 PC 一些奇怪的位置搜索 Windows 计算器吗？Zinuc 是一个仅网络，非常简单，但功能强大的计算器。您不需要下载任何内容来使用它。查看网页了解更多信息。

• RouteCalc 免费

  航空指挥线路线计算器。输入：巡航速度、燃油消耗、风向/速度、段距离。输出：飞行轴承、地面速度、分段时间、燃油燃烧。处理可变巡航/风的多个段。csv 支持

• Auditory Modelling Toolbox 免费

  听觉建模工具箱是一个社区努力，以建立一个简单和测试良好的工具箱做听觉建模在Matlab，Octave和C。

• sigTOOL 免费

  sigTOOL 为 MATLAB 内的电生理数据提供了一个用户可扩展的信号分析环境。神经元尖峰训练， + 光谱和时域分析内置。http://dx.doi.org/10.1016/j.jneumeth.2008.11.004

• Periodic Table Droid 免费试用

  最完整，可定制的，化学周期元素表可用于您的Android。主要特点是：•公牛;118 个元素+bull; 即时搜索！： 按名称、符号或数字查找元素。只写入元素名称的一部分，您将重定向到元素描述。如果找到多个，您可以选择•牛市;您可以选择用于在表中设置元素背景颜色的条件（按类别、状态、晶体结构...）•牛市;您可以更改要直接显示在表中的属性。可以使用的 4 个属性可以显示在那里+bull; 元素的快速访问列表。按您喜欢

• A Hyperspectral Image Reader 免费

  这是一C++在 ENVI 高光谱图像中读取的代码

• Louisiana Criminal Law 免费

  路易斯安那州修订法规第 14 标题， 刑法， 为机器人法律！路易斯安那州修订法规第 14 条， 《刑法》， 《机器人法》。这是机器人法的附加程序。 您可以#39;T 打开此应用程序。 你必须安装机器人法。机器人法包括：*联邦规则：- 民事诉讼- 证据- 上诉程序- 刑事诉讼- 破产程序- 美国宪法*可用的购买选项：- 州代码/法律- 美国法典- 美国最高法院案件意见- 联邦法规-

• GMAT Maths Preview 免费

  您想增加在 GMAT 或 GRE 的成功机会吗？那么，这是一个完美的应用程序给你。这个程序教你实用的技巧，以更快地执行数学计算。您将能够在 10 秒内将结果数字除以 9。这个程序是最全面选择的精神数学技术，这对你的数学考试成绩有魔力。有了更快的计算能力，你将留下大量的时间专注于棘手的问题或修改你的工作。应用程序也有吨的练习，所以你可以弯曲你的肌肉练习这些实用的技巧。因此，下载这个程序，增加你的分数和信心的标准化测试，如SAT，PSAT，GRE

• Quran Indonesia mp3+trnslation 免费

  听完整的古兰经在印尼语翻译。我们的应用程序播放音频文件在你最喜欢的背诵者之一1。允许您下载完整的《古兰经》，或者使用手机的菜单按钮一次单独下载单个文件。检查天气文件以前下载和播放从下载的文件，否则连接到互联网流4。允许您阅读古兰经，同时听mp3古兰经率和传递良好的评论，我们的应用程序这个应用程序是通过搜索支持的。请注意，下载应用程序后，以下内容将添加到您的设备中。"搜索图标、书签链接和浏览器主页。您可以轻松地删除/替换这些搜索点。这是一个赚钱的方

• ProteinFinder database search method 免费

  蛋白质查找器 - 用于串联蛋白质质谱数据库搜索的 C 语言并行计算引擎。 ProteinFinder 与 MySQL 关系数据库 MassSpec 接口，该数据库承载实验数据、预测数据库和搜索结果。