您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 诺基亚手机Java开发最新更新

  2. •诺基亚最新J2ME APIs •MIDP 2.0安全架构 •Java Verified认证 •诺基亚Java开发工具和SDKs
  3. 所属分类:Java

    • 发布日期:2009-04-27
    • 文件大小:1048576
    • 提供者:jastby
  1. TSQL Query Tuning

  2. This article is the second in a series that describes a variety of performance tuning techniques that you can apply to your Microsoft SQL Server Transact-SQL programs. In many cases, you could use the graphic user interface provided in Microsoft SQL
  3. 所属分类:其它

    • 发布日期:2009-05-25
    • 文件大小:451584
    • 提供者:SmithLiu328
  1. Apaceh Ant Manual-chm

  2. This is the manual for version 1.5.4 of Apache Ant. If your version of Ant (as verified with ant -version) is older or newer than this version then this is not the correct manual set. Please use the documentation appropriate to your current version.
  3. 所属分类:其它

    • 发布日期:2009-09-18
    • 文件大小:3145728
    • 提供者:lujuping
  1. High Performance SDRAM Controller_verilog

  2. The SDRAM controller is designed for the Virtex V300bg432-6. It's simulated with Micron SDRAM models. The design is verified with backannotated simulation at 125MHz
  3. 所属分类:其它

    • 发布日期:2009-12-07
    • 文件大小:414720
    • 提供者:bornforhappy
  1. Nucleus C++ v1.3 Upgrade

  2. About the Nucleus C++ v1.3 Upgrade In an ongoing effort to accommodate the evolving needs of our customers, Nucleus C++ has been updated to accommodate changes based on valued feedback from our users and changes due to advances in the C++ language s
  3. 所属分类:C++

    • 发布日期:2009-12-22
    • 文件大小:4194304
    • 提供者:ljylbcx
  1. park an autonomous vehicle

  2. 1. A practical approach to motion generation and control for an omnidirectional mobile robot Paromtchik, I.E.; Rembold, U. Robotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on 8-13 May 1994 Page(s): 2790-2795 vol.4 Digi
  3. 所属分类:C

    • 发布日期:2010-01-27
    • 文件大小:1048576
    • 提供者:liuyuebei
  1. SIGMOD 2009 全部论文(1)

  2. 这是前面的13篇论文 1 Keyword search on structured and semi-structured data Yi Chen, Wei Wang, Ziyang Liu, Xuemin Lin Jun. 2009 Proceedings of the 35th SIGMOD international conference on Management of data 2 Efficient type-ahead search on relational data: a
  3. 所属分类:Web开发

    • 发布日期:2010-03-11
    • 文件大小:7340032
    • 提供者:jiajia4487
  1. Distribution companies in the UK are under considerable

  2. The relationship between the spectra of traveling waves, the fault distance and the terminal conditions of transmission lines is discussed. Especially the effects of the system equivalent impedance to the traveling wave spectra are studied. A novel
  3. 所属分类:C++

    • 发布日期:2010-04-18
    • 文件大小:501760
    • 提供者:woaisichuan521
  1. Writing Testbenches using System Verilog

  2. Writing Testbenches using System Verilog 英文原版的,学起来比较容易。 Writing Testbenches using System Verilog About the Cover xiii Preface xv Why This Book Is Important . . . . . . xvi What This Book Is About . . . . . . . . xvi What Prior Knowledge You Should H
  3. 所属分类:iOS

    • 发布日期:2010-04-22
    • 文件大小:1048576
    • 提供者:zhengmm1985
  1. Microturbine 數學模式建立博士論文

  2. The thesis describes the development of a dynamic model of a microturbine system. The thesis is done in close cooperation with Turbec AB and the model is adjusted, tuned and verified against their microturbine T100. The microturbine unit consists of
  3. 所属分类:专业指导

    • 发布日期:2010-05-01
    • 文件大小:784384
    • 提供者:ruwoeihsia
  1. Verified by Visa VBV visa 3D验证流程文档

  2. Verified by Visa , visa 3D 验证流程文档。在第三方支付公司或者信用卡收单公司的朋友可以看下,很有用的,看完之后对整个流程会更加清楚。曾经打算把它翻译成中文,但是没有坚持下来,不过多看英文也可以提高英文水平的。
  3. 所属分类:VB

    • 发布日期:2010-12-25
    • 文件大小:997376
    • 提供者:xiaohua133
  1. Verified Software. Theories, Tools, and Experiments 无水印原版pdf

  2. Verified Software. Theories, Tools, and Experiments 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 查看此书详细信息请在美国亚马逊官网搜索此书
  3. 所属分类:其它

    • 发布日期:2017-12-29
    • 文件大小:6291456
    • 提供者:u011433684
  1. 嵌入式系统/ARM技术中的OK Labs 推出新型移动安全内核OKL4 Verified

  2. 随着OKL4 Verified推出开放下载,有兴趣的人士可以通过可用的用户程序库和/或半虚拟化Linux内核,使用OKL4 现在,无论是强调安全性的设备制造商(OEMs)、移动网络运营商(MNOs)、应用开发商、研究人员,还是其他感兴趣的人士,都可以下载、运行并在嵌入式ARM11平台上测试OKL4 Verified,OKL4 Verified是一款很强大的东西,给社会带来了无穷的,给一些公司解决了很大的困难,给他们带来了丰厚的利润。   OK Labs公司之前曾宣布完成了由OK Labs公司、澳
  3. 所属分类:其它

    • 发布日期:2020-10-21
    • 文件大小:68608
    • 提供者:weixin_38562626
  1. cdk-verified-ses-identity:AWS CDK构造用于在Route53托管区域中使用DKIM创建和验证SES身份-源码

  2. CKD验证的SES身份 通过此构造库,您可以在Route53的托管区域下使用身份和DKIM验证记录创建SES身份。 要求 您正在使用此构造创建和验证的任何域标识都必须位于Route53中已经存在的托管区域下。 不支持在其他任何地方托管的域。 用法 安装构造库: npm i malanius/cdk-verified-ses-identity 导入构造: import { VerifiedSESIdentity } from 'malanius/cdk-verified-ses-identi
  3. 所属分类:其它

    • 发布日期:2021-03-17
    • 文件大小:82944
    • 提供者:weixin_42169971
  1. GamingProject-User-Verified--源码

  2. GamingProject-User-Verified-
  3. 所属分类:其它

    • 发布日期:2021-03-08
    • 文件大小:16384
    • 提供者:weixin_42116794
  1. verified-issuer:以太坊的经过验证的发行人和经过验证的支付令牌的参考实现-源码

  2. 经过验证的现金和零息债券代币发行人 该项目的目的是为在以太坊上发行经过验证的数字现金代币创建一个参考实现,以便开发人员可以在其他区块链平台上创建类似的实现。 此实现遵循ERC20标准,因为我们希望数字货币可在当前使用的钱包和加密货币交易所中使用。 经过验证的数字货币系统如何工作? 经过验证的数字现金令牌不是一个现金令牌,而是针对不同法定货币的多个令牌(例如,VX-USD表示美元,VX-EUR表示欧元等) 用户可以使用以太币和法定货币购买经过验证的现金代币。 用户还可以赎回(返还)经过验证
  3. 所属分类:其它

    • 发布日期:2021-03-07
    • 文件大小:112197632
    • 提供者:weixin_42135073
  1. Increase of photogenerated carriers in thick quantum wells in InGaN solar cells verified by laser-assisted capa

  2. Increase of photogenerated carriers in thick quantum wells in InGaN solar cells verified by laser-assisted capacitance-voltage measurement
  3. 所属分类:其它

    • 发布日期:2021-02-08
    • 文件大小:883712
    • 提供者:weixin_38618024
  1. OK Labs 推出新型移动安全内核OKL4 Verified

  2. 随着OKL4 Verified推出开放,有兴趣的人士可以通过可用的用户程序库和/或半虚拟化Linux内核,使用OKL4 现在,无论是强调安全性的设备制造商(OEMs)、移动网络运营商(MNOs)、应用开发商、研究人员,还是其他感兴趣的人士,都可以、运行并在嵌入式ARM11平台上测试OKL4 Verified,OKL4 Verified是一款很强大的东西,给社会带来了无穷的,给一些公司解决了很大的困难,给他们带来了丰厚的利润。   OK Labs公司之前曾宣布完成了由OK Labs公司、澳大利亚国
  3. 所属分类:其它

    • 发布日期:2021-01-19
    • 文件大小:66560
    • 提供者:weixin_38693753
  1. verified:经过验证的板条箱的源代码-Verification code source code

  2. 可验证的锈 一组板条箱,以帮助开发可正式验证的生锈代码。 类型级编程使我们能够实现可由编译器验证的逻辑,这使得有可能在编译时而不是在运行时捕获错误。 假设我们有一个算法,其中运行时呈指数级增长。 我们希望能够将工作集中的元素数量限制为合理的数量,例如128 为了确保算法每次都能在合理的时间内完成。 use verified :: * ;
  3. 所属分类:其它

    • 发布日期:2021-03-24
    • 文件大小:30720
    • 提供者:weixin_42097557
  1. npm-verified:根据其源代码验证发布的软件包-Verification code source code

  2. npm-verified 根据其源代码验证发布的软件包。 用法 npx npm-verified 例子: npx npm-verified npm-verifiedlatest npx npm-verified react 怎么运行的 使用从下载并提取请求的软件包存档。 使用git clone --branch 下载的程序包的package.json repository字段中指定的源代码存储库,其中是vX.YZ或XYZ (均尝试)。 如果未找到任何标签,则克隆master分支。 在克
  3. 所属分类:其它

    • 发布日期:2021-03-24
    • 文件大小:20480
    • 提供者:weixin_42117224
« 12 3 4 5 6 7 8 9 10 »