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

搜索资源列表

  1. 良葛格java学习笔记

  2. 常見程式演算,電腦圖學入門,設計模式,C 語言,GTK,C++,Qt3,Qt4,,Java (上),Java (下),JSP/Servlet,JSF,Ajax,JUnit,Struts,Spring,Hibernate,Acegi
  3. 所属分类:Java

    • 发布日期:2008-09-16
    • 文件大小:826368
    • 提供者:qgm168
  1. 数理逻辑:基本原理与形式演算

  2. 数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质,以及归纳推理理论,提出了三个语言环境的思想以及元语言环境的基本原理,并描述了信息社会中科学研究的工作流程。
  3. 所属分类:其它

    • 发布日期:2013-08-20
    • 文件大小:10485760
    • 提供者:hx0_0_8
  1. 演算法 解答

  2. 演算法 解答
  3. 所属分类:数据库

    • 发布日期:2013-09-29
    • 文件大小:263168
    • 提供者:u012293406
  1. 基因演算法-學習速成

  2. 「基因演算法」學習速成 這是書中的一個範例,了解每一個程式指令後,大概就對「基因演算法」,就 能有一全面性的初步了解了
  3. 所属分类:C/C++

    • 发布日期:2014-02-27
    • 文件大小:184320
    • 提供者:mutant7
  1. 调洪演算程序

  2. 调洪演算程序
  3. 所属分类:制造

    • 发布日期:2014-04-14
    • 文件大小:139264
    • 提供者:u014717649
  1. 调洪演算软件

  2. 帮助进行调洪演算,使得计算结果精确,顶顶顶
  3. 所属分类:Windows Server

    • 发布日期:2014-04-22
    • 文件大小:1048576
    • 提供者:baidu_14859615
  1. 网络演算pdf

  2. 1. Arrival curves 2. Service curves, backlog, delay bounds 3. Playback delay for pre-recorded video
  3. 所属分类:网络基础

    • 发布日期:2014-04-24
    • 文件大小:372736
    • 提供者:sdw5723118
  1. distributed_pi_calculus

  2. 分布式pi演算是一本很好很好的书,值得一看。
  3. 所属分类:讲义

    • 发布日期:2014-06-26
    • 文件大小:2097152
    • 提供者:plutohb2002
  1. lambda演算系统

  2. 详细演示lambda演算过程,最后给出Y组合字实现匿名递归
  3. 所属分类:其它

    • 发布日期:2014-08-01
    • 文件大小:2048
    • 提供者:u010002380
  1. 即时的积分直方图基准之聯合双边濾波演算法分析与设计.pdf

  2. 即時的積分直方圖基準之聯合雙邊濾波演算法分析與 設計 Analysis and Design of Real-time Integral Histogram Based Joint Bilateral Filtering 研 究 生︰許博雄 Student: Po-Hsiung Hsu 指導教授︰張添烜 博士 Advisor: Dr. Tian-Sheuan Chang
  3. 所属分类:其它

    • 发布日期:2014-10-21
    • 文件大小:2097152
    • 提供者:hxxfff
  1. 常见程式演算

  2. “常见程式演算”主要收集一些常见的程式练习题目,您可以藉这些题目培养一些程式设计逻辑的感觉,对题目的分类只是个大概,方便索引而已,实作的部份是使用 C 及 Java。
  3. 所属分类:Java

    • 发布日期:2014-11-11
    • 文件大小:640000
    • 提供者:u011602096
  1. MATLAB语言演算纸式的科学工程计算语言

  2. MATLAB 是一种面向科学与工程计算的高级语言 允许用数学形式的语言编写 因此 也可通俗地称 MATLAB 语言为演算纸式科学算法语言
  3. 所属分类:讲义

    • 发布日期:2015-04-30
    • 文件大小:5242880
    • 提供者:qq_27840421
  1. hore演算经典验证

  2. hore演算 经典验证 mathematica实现
  3. 所属分类:专业指导

    • 发布日期:2016-04-05
    • 文件大小:94208
    • 提供者:u012507864
  1. 演算法笔记 201710

  2. 演算法笔记 201710 演算法笔记 201710 演算法笔记 201710
  3. 所属分类:讲义

    • 发布日期:2017-10-24
    • 文件大小:30408704
    • 提供者:wizardforcel
  1. 用C++编成的3D画面(64K的3D演算)

  2. 用C++编成的3D画面(64K的3D演算)
  3. 所属分类:C++

    • 发布日期:2008-12-17
    • 文件大小:65536
    • 提供者:zy7515989
  1. pi演算工具,mwb,

  2. pi演算的验证工具,用于操作和分析移动并发系统的自动化pi演算,使用函数式语言sml构建。软件环境为windows2000。MWB 99版。
  3. 所属分类:其它

  1. A Calculus of Mobile Processes Part I and part II

  2. Milner大大的经典论文,Pi演算的完整论述。 英文,不知道是否有哪位大侠有空翻译,先表谢意。
  3. 所属分类:专业指导

    • 发布日期:2009-02-10
    • 文件大小:505856
    • 提供者:zhangkk1517
  1. java常见算法 常见程式演算

  2. 常见程式演算:主要收集一些常见的程式练习题目,您可以藉这些题目培养一些程式设计逻辑的感觉
  3. 所属分类:其它

    • 发布日期:2009-02-22
    • 文件大小:711680
    • 提供者:j279365178
  1. 离散数学讲义2

  2. 离散数学的讲义,是关于命题逻辑等值演算的讲义,可以作为一个课的讲义。
  3. 所属分类:讲义

    • 发布日期:2018-05-05
    • 文件大小:168960
    • 提供者:qq_42140986
  1. 演算工房自动测量系统

  2. 自动测量系统及数据采集系统,盾构机测量及数据管理系统用日本演算工房的设备
  3. 所属分类:制造

    • 发布日期:2018-01-20
    • 文件大小:575488
    • 提供者:hanyi366
« 1 2 ... 5 6 7 8 9 1011 12 13 14 15 ... 45 »