注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. SQL Server 2008 技术内幕 T-SQL查询(英文版+源码+附录A）

  2. 这是英文版来的，包含源码和附录A 温馨提示：我的资源里还有中文版part1、part2。可以中英文结合一起看，效果更好！ 目录： 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2：WHERE阶段9 1.3.3 步骤3：GROUP BY阶段10 1.3.4 步骤4：HAVING阶段11 1.3.5

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：4mb
    • 提供者：lxm850918

  1. xUtils源码和实例

  2. https://github.com/wyouflf/xUtils 网站上的好用源码 xUtils简介 xUtils 包含了很多实用的android工具。 xUtils 支持大文件上传，更全面的http请求协议支持(10种谓词)，拥有更加灵活的ORM，更多的事件注解支持且不受混淆影响... xUitls 最低兼容android 2.2 (api level 8)

  3. 所属分类：Android

    • 发布日期：2015-01-07
    • 文件大小：2mb
    • 提供者：gujunqi2013

  1. SequentProver-源码

  2. 后续解析器计划和信息 应用程序的当前状态： 就目前情况而言，解析器已准备好进行探索。该应用程序允许用户在可逆规则和不可逆规则之间进行选择（基于规则），并探索通过应用这些规则从序列中创建的证明树。目前，我们不允许用户确切选择分解树的方式，但是将来可能会出现这种情况。 要开始使用该程序，请运行__main__.py。 要使用您自己的序列，请创建一个.txt文件，其中每行都有一个以分号分隔的前因列表（不带引号），并以逗号分隔的一系列结果之间有一个蛇形旋转门（|〜）（垂直线，波浪号）。要包括一阶命题，正

  3. 所属分类：其它

  1. Eurotech-源码

  2. 欧洲科技 应用程序管理对“资源”对象（例如用户）的访问，我们需要提供Java API来查询可用资源集。 查询API的要求之一是具有过滤功能，允许客户端选择与某些条件匹配的资源。为了简单起见，使用Map表示“资源” Map该映射将“属性”名称（键）映射为其值。 属性名称区分大小写，但属性值不区分大小写。 任务： 设计并实现“过滤器” API，该API可用于确定资源是否匹配给定的一组标准。更具体地说，过滤器API应该提供以下功能： 确定过滤器是否匹配给定资源（使用Map表示资源）的能力。 支持以下类

  3. 所属分类：其它

  1. MSPR_POMME_BACK-源码

  2. 原料药 客观的 该REST API旨在： 广播优惠券，尤其是在通过宣传券进行的交流活动中， 使组织（公司等）能够生成有关该活动的数据，以便她可以衡量其活动的效率 先决条件 Web服务不是独立的。它插入了公司的信息系统（数据库），因此必须进行以下调整： 要连接的数据库：file application.properties ， 数据库中的实体：文件夹entities及其相关的控制器，服务，以及在必要时使用的dao 注意：请确保使用关系数据库。 安装 这是一个基于Spring Boot的API。它可

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：92kb
    • 提供者：weixin_42100971

  1. qcirsym-源码

  2. QCIRSYM-在QCIR公式中以清洗后的前体形式查找对称性的工具 开发人员：Tom Peham 概述 对称破坏是SAT解决中公认的方法。尽管用于SAT求解的对称破缺技术已应用于QBF推理，但到目前为止，仅考虑了具有CNF矩阵的QBF。最近的工作更全面地探索了QBF中的对称性。与SAT相反，对于QBF，必须考虑两种对称断路器：存在的和通用的。对于QBF提出的对称破坏谓词对于这些公式是有问题的，因为引入通用对称破坏者可能会破坏基础矩阵的CNF结构。避免此问题的一种方法是以不需要CNF格式的格式工作

  3. 所属分类：其它

  1. Integers-源码

  2. 同伦类型理论中的等价整数 这是伴随[1]进行形式化的存储库。 该存储库的内容 GrpdHITs/ ：[2]随附的存储库。 Categories/ ：最初尝试直接为ℤh和ℤb创建预Categories/代数。 Prebicategories/ ：与谓词，伪函数和伪变换有关的各种概念，[1]的第4章。 type_prebicat.v ：类型的prebicategory的定义。 [1]的6.1节 signature.v ：多项式代码，路径和同态端点和签名的定义和解释。 [1]的6.2节 Alge

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：47kb
    • 提供者：weixin_42099987

  1. AboditGraph:类似于RDF的内存中图形的图形库。 高效的双向遍历-源码

  2. AboditGraph 类似于RDF的内存中图形的图形库。 高效的双向遍历。 提供深度优先，广度优先和随机优先遍历，拓扑排序，路径查找和页面排名算法。 支持Dotgraph渲染输出，这在调试时非常有用。 在任何类型的节点上使用类似于RDF的谓词创建图。 var g = new Graph (); g . AddStatement ( " a " , Relation . RDFSType , " b " ); g . AddStatement ( " a " , Re

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：58kb
    • 提供者：weixin_42121754

  1. Predicate-源码

  2. 谓词 使用Stream功能在List和ArrayList上使用谓词的示例。 重做示例以使用JUnit 5库。 添加了复杂谓词以基于三个词过滤数据。 根据Baeldung文章：

  3. 所属分类：其它

  1. swift-algorithms:Swift Algorithms是序列和收集算法及其相关类型的开源软件包-源码

  2. 迅捷算法 Swift Algorithms是序列和收集算法及其相关类型的开源软件包。 的了解有关该软件包及其背后意图的更多信息。 内容 组合/排列 ：集合中元素特定大小的组合。 ：集合或完整集合中元素的特定大小的排列。 变异算法 ：元素的就地旋转。 ：一个分区，保留所得前缀和后缀的相对顺序。 合并收藏 ：连接具有相同元素类型的两个集合。 ：遍历两个集合的所有对； 相当于嵌套for - in循环。 ：永久重复集合的元素或固定次数。 子集操作 ：从集合中随机选择特定数量的元

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：256kb
    • 提供者：weixin_42117032

  1. redshift-immersionday-labs:该GitHub项目提供了一系列实验练习，可帮助用户开始使用Redshift平台-源码

  2. Redshift沉浸日实验室 该GitHub项目提供了一系列实验练习，可帮助用户开始使用Redshift平台。 目标 Amazon Redshift是一种快速的，完全托管的，PB级的数据仓库解决方案，该解决方案使用列式存储来最大程度地减少IO，提供高数据压缩率并提供快速性能。 该GitHub项目提供了一系列实验练习，可帮助用户开始使用Redshift平台。 它还有助于演示平台内置的许多功能。 实验室 ＃ 实验室名称 实验室说明 1个 群集设置和与SQL Workbench / J的连接 2个

  3. 所属分类：其它

  1. sqlhandler:为sqlhandler-odbc提供编码器，解码器，类型安全和可视化-源码

  2. sqlhandler 支持库 支持多个结果集 允许用户指定类型安全签名，该签名完全描述SQL输入和输出 编码器模块具有用于将haskell值转换为SQL输入参数的编码器 解码器模块具有用于将SQL输出转换为haskell值的解码器 TablePrinter模块用于以表格形式漂亮地打印SQL结果集 支持允许为任何sql列提供精炼字段，所有编码/解码和验证均已处理（请参阅TestDecoding.hs和TestEncoding.hs） 完全支持SQL输出谓词，以确保数据有效 有关 odbc数据库的

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：63kb
    • 提供者：weixin_42113794

  1. blaze-domain-源码

  2. 烈焰之域 Blaze-Domain是一个工具包，可用于以包含属性，基本类型，功能和运算符以及元数据的一组实体的形式来构建域的运行时模型。 它是什么？ Blaze-Domain提供了一个构建器API和运行时模型来以可扩展的方式描述域。 域描述不要求域实体类型及其属性或功能存在Java类或方法/字段。 声明性子模块允许基于类结构及其注释来确定领域模型，可以将其与构建器API组合以组合静态和动态领域模型。 Blaze-Expression项目建立在该项目之上，该项目允许基于通过Blaze-Doma

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：332kb
    • 提供者：weixin_42133329

  1. geo_spatial_join:地理空间连接存储库-源码

  2. geo_spatial_join 用于地理空间连接的存储库。 版本：0.01 什么是地理空间连接？ 目录结构。 先决条件。 安装。 外部链接。 1.什么是地理空间连接？ 空间连接涉及两个空间层，即R和S。 执行空间加入与谓词相交查询，包含，重叠，等等，对R和S产生对的集合（R，S），其中r在R，S S中满足联接谓词。 例如，“查找过河的所有道路”是一个“相交”查询。 空间连接可以分两个阶段执行：1）过滤阶段和2）完善阶段。 在过滤阶段，利用几何图形的最小边界矩形（MBR）生成候

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：240kb
    • 提供者：weixin_42131541

  1. tsfun:功能组合器库-源码

  2. tsfun-Typescr ipt的功能组合器库 功能参考 例子： import { equal } from 'tsfun' ; 谓词 作品 已定义并为空 种类 元组 结构与联想 比较器 参考 已订购 放 列表 结构 作品 大批 细绳 列表 数组和字符串 收藏 数组，地图和字符串 放 数组和字符串 元组 大批 结构 数组与对象 类型参考 常数参考 列表 元组 额外的包裹参考 联想的 阵列与地图 import { lookup } from 'tsfun/associative' ; 种类

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：157kb
    • 提供者：weixin_42099633

  1. java8-源码

  2. 了解具有功能接口，lambda和流的Java 8 应用functinaly接口并链接到 谓词 链式 和（） 否定（） 或者（） 是平等的（） 测试（） 用例 功能 链式 接着（） 身份（） 撰写（） 申请（） 用例 供应商 链式 没有链接没有默认的静态方法 得到（） 用例 消费者 链式 接着（） 接受（） 用例 双功能 双谓词 链式 和（） 否定（） 或者（） isEqual（）-不存在 测试（） 用例 双功能 链式 接

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：194kb
    • 提供者：weixin_42162171

  1. SimpleDB:简单的数据库管理系统-源码

  2. #SimpleDB这是我的合作伙伴一个基本的数据库管理系统，我为UC Berkeley的Database类CS186编写了代码。 它称为SimpleDB，由4个项目组成。 ### SimpleDB包含： 表示字段，元组和元组模式的类； 将谓词和条件应用于元组的类； 一种或多种访问方法（例如，堆文件），它们将关系存储在磁盘上，并提供一种遍历这些关系的元组的方法； 处理元组的运算符类的集合（例如，选择，联接，插入，删除等）； 缓冲池，用于在内存中缓存活动的元组和页面，并处理并发控制和事务（

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：10mb
    • 提供者：weixin_42131541

  1. gAnswer:基于DBpedia的KBQA系统-源码

  2. 传感器系统 GAnswer系统是由邹雷教授领导的北京大学计算机科学与技术数据管理实验室开发的一种自然语言质量保证系统。 GAnswer能够将自然语言问题转换为包含语义信息的查询图。 然后，系统可以进一步将查询图转换为标准SPARQL查询，该查询将在图数据库中执行，以便为用户提供答案。 我们为语义歧义应用了创新的数据驱动方法。 详细地，在生成查询图时，我们为实体和谓词映射维护多个计划，并根据实体和谓词匹配（不正确的映射）在查询执行短语中进行语义歧义消除。 这是TKDE 2018论文的实现 **有

  3. 所属分类：其它

  1. dry-logic：具有规则组合的谓词逻辑-源码

  2. 干逻辑 链接 支持的Ruby版本 该库正式支持以下Ruby版本： MRI> = 2.5 jruby> = 9.2 执照 请参阅LICENSE文件。

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：76kb
    • 提供者：weixin_42151729

  1. 一个PostgreSQL扩展，用于收集关于谓词的统计信息，帮助查找丢失的索引- powa-team/pg_qualstats-源码

  2. 一个PostgreSQL扩展，用于收集关于谓词的统计信息，帮助查找丢失的索引- powa-team/pg_qualstats-源码

  3. 所属分类：其它

    • 发布日期：2021-01-27
    • 文件大小：40kb
    • 提供者：weixin_38743076
« 12 3 4 5 6 »