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

搜索资源列表

  1. 基于pi演算的软件体系结构形式化研究 任洪敏

  2. 基于pi演算的软件体系结构形式化研究 任洪敏 phd

  3. 所属分类：讲义

    • 发布日期：2017-01-22
    • 文件大小：4194304
    • 提供者：jiangdmdr

  1. java常见程序演算

  2. 常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。

  3. 所属分类：Java

    • 发布日期：2008-11-28
    • 文件大小：780288
    • 提供者：qq504440521

  1. 基于相继式演算的一阶逻辑定理证明器设计与实现

  2. 基于相继式演算的一阶逻辑定理证明器设计与实现 基于相继式演算的一阶逻辑定理证明器设计与实现

  3. 所属分类：其它

    • 发布日期：2018-01-01
    • 文件大小：3145728
    • 提供者：kingbox2008

  1. λ-演算的语法和语义.pdf

  2. λ-演算的语法和语义.pdf λ-演算的语法和语义.pdf λ-演算的语法和语义.pdf

  3. 所属分类：cocos2D

    • 发布日期：2018-01-10
    • 文件大小：9437184
    • 提供者：zhong_jin_long

  1. 演算之美.pdf,演算之美.pdf

  2. 演算之美.pdf 演算之美.pdf 演算之美.pdf 数学,演算之美.pdf 演算之美.pdf

  3. 所属分类：专业指导

    • 发布日期：2009-01-15
    • 文件大小：3145728
    • 提供者：hsg77

  1. Static静态变量的应用,用登录的方法演算,当输入密码超过三次时,自动退出程序.(VB6.0源代码编写)

  2. Static静态变量的应用,用登录的方法演算,当输入密码超过三次时,自动退出程序.(VB6.0源代码编写)

  3. 所属分类：VB

    • 发布日期：2009-02-11
    • 文件大小：7168
    • 提供者：misoline

  1. 对称素数演算程序

  2. 对称素数演算程序

  3. 所属分类：C/C++

    • 发布日期：2007-06-16
    • 文件大小：105472
    • 提供者：windleaf_2006

  1. ＲＰＧ　常用的演算命令及语句

  2. RPG常用的演算命令 １）加减运算 ２）赋值 ３）逻辑运算 ４）结构化程序 参考 RPG语言.pdf ......

  3. 所属分类：专业指导

    • 发布日期：2009-03-23
    • 文件大小：45056
    • 提供者：dllulg

  1. lambda演算入门

  2. 函数式编程入门概念之一,lambda演算是函数式编程的数学理论基础...

  3. 所属分类：Java

    • 发布日期：2018-04-06
    • 文件大小：340992
    • 提供者：u013131282

  1. 调洪演算程序

  2. 好用的水库调洪演算程序，仅供参考，程序页面简洁，好用

  3. 所属分类：Docker

    • 发布日期：2018-07-17
    • 文件大小：24576
    • 提供者：weixin_42714029

  1. 来自字符演算的张量模型中的相关器

  2. 我们解释[20]的计算如何在（Hurwitz）字符演算的帮助下有效地执行计算，该计算为张量模型中的高斯相关器的非平凡结构提供了第一个证据。 这强调了矩阵模型和张量模型中技术方法之间的相似性，并支持了以非常相似的术语理解新兴结构的希望。 我们声称等级r张量的2 m倍高斯相关器是由尺寸的r线性组合与大小为m的杨氏图给出的。 系数由对称组Sm的特征决定，其确切形式取决于相关器的选择以及模型的对称性。 作为此新知识的最简单应用，我们为亚里士多德张量模型中的相关器提供了简单的表达式，即维的三线性组合。

  3. 所属分类：其它

    • 发布日期：2020-05-05
    • 文件大小：318464
    • 提供者：weixin_38691199

  1. 椭圆符号演算：从椭圆多对数到爱森斯坦级数的迭代积分

  2. 我们介绍了符号演算的一般化，从普通的多个对数到其椭圆对应物。 我们的形式主义是基于在大类周期上进行协作的特殊情况，这种情况特别适用于椭圆形对数和模块化形式的迭代积分。 我们与非椭圆情形完全相似，说明了如何使用形式主义来得出椭圆多对数之间的关系。 然后，我们分析在有理点处评估的椭圆对数的符号字母，并且观察到它由爱森斯坦级数给出，用于某个同等子集。 我们将形式主义应用于可以用椭圆多对数表示的超几何函数，并证明它们同样可以用爱森斯坦级数的迭代积分表示。 最后，我们给出了两个时空维度上等质量日出积分的符

  3. 所属分类：其它

    • 发布日期：2020-04-21
    • 文件大小：1007616
    • 提供者：weixin_38713306

  1. python周易银钱演算法代码和文件

  2. python写的代码，模拟银钱演算法的过程。内含完整代码，注释和周易卦象解释的excel文件。本项目为个人兴趣，完全原创。

  3. 所属分类：Python

    • 发布日期：2020-03-25
    • 文件大小：14336
    • 提供者：dandanprotecter

  1. 河道洪水反向演算过程迭代法研究

  2. 河道洪水反向演算过程迭代法研究，吕艳军，，考虑区间来水及河道水流沿程变化的水库补偿放水问题在流域防洪调度中至关重要，在诸多河道洪水反向演算方法中，过程迭代法直接利

  3. 所属分类：其它

    • 发布日期：2020-02-25
    • 文件大小：830464
    • 提供者：weixin_38673812

  1. VIIRS 中波红外地表双向反射率反演算法研究

  2. VIIRS 中波红外地表双向反射率反演算法研究，赵帅阳，景欣，中波红外（mid-infrared, MIR）是目前地球观测中热点研究的光谱区域，相比于可见光和热红外波段具有很多优势。中波红外反射率在叶生物�

  3. 所属分类：其它

    • 发布日期：2020-02-24
    • 文件大小：332800
    • 提供者：weixin_38616505

  1. 河道洪水演算模型在大官庄流域的应用研究

  2. 河道洪水演算模型在大官庄流域的应用研究，吴勇拓，李致家，在河道洪水演算中，常用的水文学方法通常能够预测出流量过程，但是无法预测出水位过程。不少现代防汛工程的启用控制需要水位作标

  3. 所属分类：其它

    • 发布日期：2020-02-19
    • 文件大小：326656
    • 提供者：weixin_38737751

  1. 利用CE318太阳光度计对气溶胶光学特性的反演算法研究

  2. 利用CE318太阳光度计对气溶胶光学特性的反演算法研究，王静，牛生杰，目前大气气溶胶光学特性的不确定性是大气气溶胶气候效应研究中最大的不确定因子之一，利用地基遥感方法可以获取气溶胶的关键光学

  3. 所属分类：其它

    • 发布日期：2020-02-18
    • 文件大小：714752
    • 提供者：weixin_38745003

  1. 单峰分布应用于居民户存款分布的演算

  2. 单峰分布应用于居民户存款分布的演算，孔建新，孔璐，单峰分布概率密度函数的建立为描述金融统计项目的分布状况提供了一种新的统计分析方法。本文根据模拟居民户存款的数据应用单峰分

  3. 所属分类：其它

    • 发布日期：2020-02-06
    • 文件大小：171008
    • 提供者：weixin_38698433

  1. 单峰分布应用实例的演算

  2. 单峰分布应用实例的演算，孔璐，何光伟，本文以社会经济的统计对象：居民收入统计资料的实例，以说明呈现的频数服从单峰分布。应用单峰分布密度函数的数学模型来描述其分

  3. 所属分类：其它

    • 发布日期：2020-02-01
    • 文件大小：325632
    • 提供者：weixin_38530536

  1. 短光程下DOAS方法测量低浓度污染气体的反演算法研究

  2. 短光程下DOAS方法测量低浓度污染气体的反演算法研究，邵理堂，汤光华，差分吸收光谱法(DOAS)对长光程或高浓度烟气污染物可以实现准确、快速和在线测量，但是对短光程、低浓度污染气体的测量却存在较大的

  3. 所属分类：其它

    • 发布日期：2020-01-31
    • 文件大小：436224
    • 提供者：weixin_38696196
« 1 2 34 5 6 7 8 9 10 ... 45 »