• AWK公司

  • 17条引用[sw23781]
  • 编程为文本处理而设计的语言,通常用作数据提取和报告。。。管道的一部分-用于提取或者转换文本,例如生成格式化。。。特别设计用于支撑一个衬垫程序,语言是图灵完备的,甚至。。。
  • 赫拉纳尔

  • 参考第5条[sw29681]
  • 只有α原子。Fortran语言程序HELANAL罐摘录PDB文件中的螺旋线。。。被认为是线性的或弯曲的。这个程序也可以用来区分。。。
  • 闪络

  • 引用2篇文章[sw21511]
  • 闪络:提取使用示例从半结构化电子表格中获取关系数据。数亿。。。来自电子表格的关系数据编程. 相反,用户摘录通过提供输出示例。。。合成a程序在火炬里。《火炬》是一部小说提取扩展正则表达式的语言。。。用户摘录点击式数据。我们演示了正确的耀斑程序...
  • 滑雪

  • 引用2篇文章[sw25433]
  • 交互式定理证明器程序综合并在Quintus-Prolog中实现。对象级别。。。在求证过程中。这些提取条件是程序遵循编程有了证明范式。。。命题及其命题提取术语为a程序符合本规范。。。
  • 聚焦

  • 引用8篇文章[sw12384]
  • 生成可执行文件程序,包含文档的源文件提取从开发中。。。完全定义为可执行文件的粒度程序. 聚焦分布包括一个库。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • 验证LLVM),一个用于推理的框架程序用LLVM的中间表示法。。。摘录一个可以执行的Coq形式语义的解释器程序从LLVM测试。。。程序防止空间内存安全违规。Vellvm的工具允许我们摘录...
  • 大匹配

  • 1条引用[sw34221]
  • 大匹配:A程序对于提取从一个大文件的可能匹配记录链接。。。提供运行BigMatch的文档程序,一个新的记录链接工具。。。每个阻塞标准程序可以摘录可能是来自。。。
  • 利基

  • 引用13篇文章[sw26288]
  • 编程量子算法,以F#为宿主语言。它还允许提取...
  • 引用8篇文章[sw21162]
  • 任务提取中等规模的子系统结构程序,同时揭露了一个有趣的。。。
  • 推断

  • 在10篇文章中引用【sw20862】
  • 程序在手边对其组成模块(函数/过程)进行证明。虫子是提取从。。。
  • COMSTAT公司

  • 参考6篇文章[sw28030]
  • 摘录从生物量到分形维数的一些定量参数。这个程序做。。。
  • 深V

  • 引用4篇文章[sw16458号]
  • 对接输出程序学会如何摘录基本数据的相关特征。。。使用两个对接的输出程序:AutodockVina1.1.2和Dock6.6。使用严格的评估。。。
  • 欧夫

  • 引用3篇文章[sw27482]
  • 首先需要提取代码要更传统编程语言(通常是OCaml)然后。。。
  • 机器人

  • 参考第8条[sw16045号]
  • 符号多体程序明确区分建模阶段和分析过程,提取象征性的。。。
  • 达斯旺

  • 引用13篇文章[sw04632]
  • 已实现,并在运行重要应用程序上取得了成果程序本文提出。。。有效地,并且显著的并行性可以提取...
  • 印花

  • 引用42篇文章[sw09536]
  • 时间序列预测。估计和信号提取使用状态空间方法。。。它为编程接口。。。
  • 类星体

  • 引用3篇文章[sw01278]
  • 自动步骤:四步提取的并发部分程序;简体翻译。。。
  • 抓住

  • 1条引用[sw22542]
  • 图像文件。grabbit启动一个GUI程序对于提取来自图像文件的数据。。。
  • HSFal公司

  • 1条引用[sw26941]
  • 可能包含故障的代码。程序切片罐摘录的依赖性程序实体。。。