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

搜索资源列表

  1. Cambridge.How.to.Think.About.Algorithms.2008

  2. There are many algorithm texts that provide lots of well-polished code and proofs of correctness. Instead, this one presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. It is a bit like a
  3. 所属分类:Access

    • 发布日期:2009-05-10
    • 文件大小:2097152
    • 提供者:mike_wh
  1. CodeSMART 2009 for VB6

  2. CodeSMART 2009 for VB6 is exceptionally well integrated within the Visual Basic 5.0 and 6.0 IDEs. All the features it adds to Visual Basic are accessible through the main menu (1) and four toolbars (2) it registers with the environment. CodeSMART to
  3. 所属分类:VB

    • 发布日期:2009-06-11
    • 文件大小:10485760
    • 提供者:mjlai
  1. how_to_think_about_algorithms

  2. There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms lik
  3. 所属分类:Access

    • 发布日期:2009-06-16
    • 文件大小:6291456
    • 提供者:zxxsy
  1. algorithms_and_protocols_for_wireless_sensor_networks

  2. In order to develop algorithms for sensor networks and in order to give mathematical correctness and performance proofs, models for various aspects of sensor networks are needed. In the next three chapters, we focus upon the modeling, design, and an
  3. 所属分类:C#

    • 发布日期:2009-06-17
    • 文件大小:6291456
    • 提供者:kaieagle
  1. A Tutorial on Support Vector Machines for Pattern

  2. Abstract. The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-separable data, working through a non-trivial example in de
  3. 所属分类:C++

    • 发布日期:2009-06-30
    • 文件大小:256000
    • 提供者:heyinglan
  1. Wiley, Image Processing And Jump Regression Analysis (2005)

  2. Image Processing and Jump Regression Analysis builds a bridge between the worlds of computer graphics and statistics by addressing both the connections and the differences between these two disciplines. The author provides a systematic breakdown of
  3. 所属分类:Access

    • 发布日期:2009-07-10
    • 文件大小:10485760
    • 提供者:ziyuang
  1. [数学,物理,化学,生物学习资料(新增资料)].McGraw-Hill.-.Demystified.-.Math.Proofs.Demystified.-.2005

  2. This is a copyrighted work and The McGraw-Hill Companies, Inc. (“McGraw-Hill”) and its licensors reserve all rights in and to the work. Use of this work is subject to these terms. Except as permitted under the Copyright Act of 1976 and the right to
  3. 所属分类:专业指导

    • 发布日期:2009-07-19
    • 文件大小:2097152
    • 提供者:case3526
  1. Models_in_Spatial_Analysis_by_Lena_Sanders

  2. This book offers a relatively large overview of modeling families which exist in spatial analysis and of the different mindsets that went into them. Models presented are related to space organization principles, localization logic, the form of spati
  3. 所属分类:专业指导

    • 发布日期:2009-07-28
    • 文件大小:7340032
    • 提供者:rominelm
  1. Proofs.from.the.Book

  2. Proofs.from.the.Book.2004(3rd).pdf一些经典数学证明
  3. 所属分类:专业指导

    • 发布日期:2008-08-20
    • 文件大小:7340032
    • 提供者:chj1983wd
  1. Mathematical reasoning :patterns, problems, conjectures, and proofs 2010

  2. Mathematical reasoning :patterns, problems, conjectures, and proofs 2010
  3. 所属分类:专业指导

    • 发布日期:2014-06-21
    • 文件大小:2097152
    • 提供者:u014135091
  1. Proofs and Algorithms

  2. Proofs and Algorithms
  3. 所属分类:讲义

    • 发布日期:2019-03-25
    • 文件大小:2097152
    • 提供者:weixin_42282037
  1. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

  2. This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the students level)
  3. 所属分类:机器学习

    • 发布日期:2019-05-02
    • 文件大小:4194304
    • 提供者:chinabhsun
  1. SUMS86 Sets, Models and Proofs, Ieke Moerdijk, Jaap van Oosten (2018).zip

  2. SUMS86 Sets, Models and Proofs, Ieke Moerdijk, Jaap van Oosten (2018).zip
  3. 所属分类:讲义

    • 发布日期:2019-06-24
    • 文件大小:1048576
    • 提供者:weixin_42282037
  1. adel-swap-merkle-proofs:[隐藏] ADEL与vAKRO交换的Merkle证明-源码

  2. adel-swap-merkle-proofs:[隐藏] ADEL与vAKRO交换的Merkle证明
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:4194304
    • 提供者:weixin_42098759
  1. proofs:校对字体的文档和工具-源码

  2. 证明 这些文字是我为评估开发中的字体而创建的证明。作为全字母汉字句子的替代,例如“快速的棕色狐狸跳过懒狗”,这些证明为每个字母提供了更科学的上下文,从而更容易隔离和诊断字母形状,颜色,颜色,或适合。您可以在以下位置找到有关这些证明的更多信息,以及如何使用它们的说明: 乔纳森·霍夫勒霍夫勒公司2020年5月19日
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:1048576
    • 提供者:weixin_42099176
  1. template-proofs:PLDI'20纸的伪像-源码

  2. PLDI'20纸的工件:验证并发搜索结构模板 入门指南 该工件具有以下外部依赖性 OCaml版本4.07.1 OCaml Findlib版本1.8.1 ocamlbuild版本0.14.0 Coq版本8.11 Coq stdpp,版本coq-stdpp.dev.2020-03-18.1.846deb08 虹膜,版本coq-iris.dev.2020-03-21.0.ed3b52f9 GRASShopper,版本pldi_2020。 Z3,版本> = 4.5 满足所有OCam
  3. 所属分类:其它

    • 发布日期:2021-03-15
    • 文件大小:95232
    • 提供者:weixin_42113380
  1. token-storage-proofs-源码

  2. 令牌存储证明 该代码库在大受启发。 设置 git clone https://github.com/facuspagnuolo/token-storage-proofs.git cd token-storage-proofs yarn 编译 yarn compile 测验 yarn test
  3. 所属分类:其它

    • 发布日期:2021-03-08
    • 文件大小:113664
    • 提供者:weixin_42132352
  1. Round-optimal zero-knowledge proofs of knowledge for NP

  2. It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are non-constant-round. Whether there exit constant-round black-box zero-knowledge proofs of knowledge for all NP languages under certain standard assumptions is
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:563200
    • 提供者:weixin_38692666
  1. SIMPLE PROOFS OF THE CUSA–HUYGENS–TYPE AND BECKER–STARK–TYPE INEQUALITIES

  2. SIMPLE PROOFS OF THE CUSA–HUYGENS–TYPE AND BECKER–STARK–TYPE INEQUALITIES
  3. 所属分类:其它

    • 发布日期:2021-02-09
    • 文件大小:76800
    • 提供者:weixin_38681301
  1. Group-oriented Proofs of Storage

  2. Group-oriented Proofs of Storage
  3. 所属分类:其它

    • 发布日期:2021-02-06
    • 文件大小:1041408
    • 提供者:weixin_38683488
« 12 3 4 5 6 7 8 9 10 »