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

搜索资源列表

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容: 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
  3. 所属分类:专业指导

    • 发布日期:2009-11-23
    • 文件大小:765kb
    • 提供者:haha0832
  1. UNIX 环境高级编程 part2

  2. 本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述,主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上,分别按章介绍了多个应用实例,包括如何创建数据库函数库,Postscr ipt 打印机驱动程序,调制解调器拨号器及在伪终端上运行其他程序的程序等。 本书内容丰富权威,概念清晰精辟,一直以来被誉为UNIX编程的“圣经”,对于所有UNIX程序员—无论是初学者还是专家级人士—都是一本无价的参考书籍
  3. 所属分类:网络攻防

    • 发布日期:2007-11-22
    • 文件大小:4mb
    • 提供者:clariones
  1. UNIX 环境高级编程 part3

  2. 本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述,主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上,分别按章介绍了多个应用实例,包括如何创建数据库函数库,Postscr ipt 打印机驱动程序,调制解调器拨号器及在伪终端上运行其他程序的程序等。 本书内容丰富权威,概念清晰精辟,一直以来被誉为UNIX编程的“圣经”,对于所有UNIX程序员—无论是初学者还是专家级人士—都是一本无价的参考书籍
  3. 所属分类:网络攻防

    • 发布日期:2007-11-22
    • 文件大小:4mb
    • 提供者:clariones
  1. UNIX 环境高级编程 part4

  2. 本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述,主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上,分别按章介绍了多个应用实例,包括如何创建数据库函数库,Postscr ipt 打印机驱动程序,调制解调器拨号器及在伪终端上运行其他程序的程序等。 本书内容丰富权威,概念清晰精辟,一直以来被誉为UNIX编程的“圣经”,对于所有UNIX程序员—无论是初学者还是专家级人士—都是一本无价的参考书籍
  3. 所属分类:网络攻防

    • 发布日期:2007-11-22
    • 文件大小:4mb
    • 提供者:clariones
  1. UNIX 环境高级编程 part5

  2. 本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述,主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上,分别按章介绍了多个应用实例,包括如何创建数据库函数库,Postscr ipt 打印机驱动程序,调制解调器拨号器及在伪终端上运行其他程序的程序等。 本书内容丰富权威,概念清晰精辟,一直以来被誉为UNIX编程的“圣经”,对于所有UNIX程序员—无论是初学者还是专家级人士—都是一本无价的参考书籍
  3. 所属分类:网络攻防

    • 发布日期:2007-11-22
    • 文件大小:329kb
    • 提供者:clariones
  1. aps 高级排程约束理论

  2. 约束理论的提出 企业目标与评价体系 骰子游戏与步行军 TOC的五大步骤 DBR(Drum-Buffer-Rope)介绍 约束理论的原则和思维流程
  3. 所属分类:专业指导

    • 发布日期:2010-04-27
    • 文件大小:1mb
    • 提供者:chenju85641740
  1. WCDMA高级培训课件

  2. 1、UMTS的基本理论。简述无线通信的发展历史以及他们之间的变化。 2、UMTS基本结构的介绍。从逻辑视图介绍UMTS的功能结构,GSM及GPRS向UMTS过渡的结构变化。 3、无线接口。UMTS作为UTRAN网络并且是FDD方式下的空中接口特性,包括: a、WCMDA空中接口的基本原理 b、UTRAN网络的总体介绍,协议模型、物理层、RLC层、MAC层的基本功能以及所对应的信道、空中接口的通信过程、调制解调方案及AMR等。
  3. 所属分类:网络基础

    • 发布日期:2010-05-20
    • 文件大小:499kb
    • 提供者:gemini19830408
  1. 《Ext+JS高级程序设计》

  2.  《Ext JS高级程序设计》对Ext JS的核心知识以及中高级开发者在开发过程中会经常遇到的疑难问题进行了深入分析和探讨。《ExtJS高级程序设计》不仅详细讲解了Ext JS 3.0中新增的用于Web 2.0网站开发的核心包Ext Core,以及给Ext JS带来革命性变化的Ext Direct,而且还全面透彻地介绍了Ext Data Store、Ext UI、Ext扩展、Ext插件和调试等知识。实用性和可操作性强,各个知识点都配有实用的案例,并给出了最佳实践。全书最后以一个单页面的大型案例
  3. 所属分类:Javascript

    • 发布日期:2010-06-18
    • 文件大小:694kb
    • 提供者:li_orz
  1. asp.net完全入门、深入、高级文档(程序员必读)

  2. ASP.NET 完全入门 Asp.Net Programing.pdf ASP.NET 程式设计基础篇.pdf ASP.NET高级编程.pdf ASP.NET深入编程.pdf ASP.NET完全入门.doc ASP.NET中文手册.chm C#高级编程.pdf C#说明文档(微软).pdf C#完全手册.pdf C#语言参考.doc Dot NET综合资料库.CHM windows应用高级编程-C#编程篇.pdf Microsoft.Net_Framework.pdf Visual Studi
  3. 所属分类:C#

    • 发布日期:2010-10-05
    • 文件大小:740byte
    • 提供者:yuejiying
  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档   D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具  B) 方法、工具和过程  C) 方法、对象和类  D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求  B) 软件设计  C) 风险分析  D)
  3. 所属分类:C

    • 发布日期:2011-01-12
    • 文件大小:296kb
    • 提供者:fengjliang2009
  1. 线性鲁棒控制的理论与计算

  2. 鲁棒控制 线性鲁棒控制的理论与计算 当今的自动控制技术都是基于反馈的思想。反馈理论的要素包括三个部分:测量、比较和执行。测量关心的变量,与期望值相比较,用这个误差纠正调节控制系统的响应。   这个理论应用于自动控制的关键是,做出正确的测量和比较后,如何利用误差才能更好地纠正系统。  鲁棒控制(Robust Control)方面的研究始于20世纪50年代。在过去的20年中,鲁棒控制一直是国际自控界的研究热点。所谓“鲁棒性”,是指控制系统在一定(结构,大小)的参数摄动下,维持某些性能的特性。根据对
  3. 所属分类:电信

    • 发布日期:2011-03-26
    • 文件大小:3mb
    • 提供者:tjlipeng
  1. UNIX环境高级编程2

  2. 本书全面介绍了UNIX系统的程序设计界面—系统调用界面和标准C库提供的许多函数。 本书的前15章着重于理论知识的阐述,主要内容包括UNIX文件和目录、进程环境、进程控制、进程间通信以及各种I/O。在此基础上,分别按章介绍了多个应用实例,包括如何创建数据库函数库,Postscr ipt 打印机驱动程序,调制解调器拨号器及在伪终端上运行其他程序的程序等。 本书内容丰富权威,概念清晰精辟,一直以来被誉为UNIX编程的“圣经”,对于所有UNIX程序员—无论是初学者还是专家级人士—都是一本无价的参考书籍
  3. 所属分类:Unix

    • 发布日期:2011-08-01
    • 文件大小:7mb
    • 提供者:songwubin007
  1. C#开发的 《驾考一次过高级版》v2011.16.5

  2. 简介: 题库采用的是2011年公安部发布的最新题库。 高级版包含(小车725题,货车793题,客车782题,轮式自行机械775题)。 摩托车版共420题。 恢复驾驶版共450题。 《驾考一次过》是一款优秀的全国机动车驾驶人科目一理论模拟考试及练习软件,题库是全国通用题库题库采用的是2011年公安部发布的最新题库,跟正式考试完全一致的题库。功能全面强大,有练习、模拟考试、进步情况、专题、解析等功能,特别是增加了:难度星级功能,以及根据您做题的情况自动设置错误星级,加强易错题的练习,每道题皆有详细
  3. 所属分类:交通

    • 发布日期:2011-08-28
    • 文件大小:1mb
    • 提供者:wanghongzhuan
  1. 《Android高级编程》

  2. 《Android高级编程》首先简要介绍Android软件栈,接着陈述为手机创建稳定可靠、赏心悦目的应用程序的基本原理。通过学习,您可以打下牢固的理论根基,了解使用当前Android 1.0 SDK编写定制移动程序所需的知识,还能灵活快捷地运用未来的增强功能构建最前沿的解决方案。   Android提供一个开放的开发环境,为针对移动设备编写创新应用程序带来了激动人心的新机遇。作为使用AndroidSDK构建这些应用程序的实用指南书籍,《Android高级编程》从始至终穿插了一系列示例项目,每个项
  3. 所属分类:Android

    • 发布日期:2011-12-22
    • 文件大小:45mb
    • 提供者:mailyu
  1. Android 高级编程

  2. 《Android高级编程》首先简要介绍Android软件栈,接着陈述为手机创建稳定可靠、赏心悦目的应用程序的基本原理。通过学习,您可以打下牢固的理论根基,了解使用当前Android 1.0 SDK编写定制移动程序所需的知识,还能灵活快捷地运用未来的增强功能构建最前沿的解决方案。   Android提供一个开放的开发环境,为针对移动设备编写创新应用程序带来了激动人心的新机遇。作为使用AndroidSDK构建这些应用程序的实用指南书籍,《Android高级编程》从始至终穿插了一系列示例项目,每个项
  3. 所属分类:Android

    • 发布日期:2012-06-09
    • 文件大小:45mb
    • 提供者:shenqijiuzhai
  1. Android高级编程

  2. 《Android高级编程》首先简要介绍Android软件栈,接着陈述为手机创建稳定可靠、赏心悦目的应用程序的基本原理。通过学习,您可以打下牢固的理论根基,了解使用当前Android 1.0 SDK编写定制移动程序所需的知识,还能灵活快捷地运用未来的增强功能构建最前沿的解决方案。   Android提供一个开放的开发环境,为针对移动设备编写创新应用程序带来了激动人心的新机遇。作为使用AndroidSDK构建这些应用程序的实用指南书籍,《Android高级编程》从始至终穿插了一系列示例项目,每个项
  3. 所属分类:Android

    • 发布日期:2012-07-20
    • 文件大小:45mb
    • 提供者:j2ee1982
  1. x5高级开发手册

  2. 模型是人们 了为方便研究、理解和 解决客观 事件中存在的种问题而对客观现实经过反复思维 事件中存在的种问题而对客观现实经过反复思维 抽象后的文字、图标符号 、关系式以及实体模样描述 、关系式以及实体模样描述 的集合,以描述 所认识到的客观 所认识到的客观 所认识到的客观 所认识到的客观 事物的一种 直观表现形式 。 业务模型是从企信息化的需要出发, 针对和管理所做一种体系性抽象描述业务模型是从企信息化的需要出发, 针对和管理所做一种体系性抽象描述业务模型是从企信息化的需要出发, 针对和管理所做
  3. 所属分类:Java

    • 发布日期:2012-11-22
    • 文件大小:6mb
    • 提供者:baichangchun
  1. Quest3d4.2.2中文用户手册

  2. Quest3d4.2.2中文用户手册,目前,三维图像正在迅速影响整个世界。在好莱坞的电影中可以完全展示活的怪兽和整 个行星。电脑游戏可以提供奇幻的角色在广袤的世界中进行交互式的探险。商业和科学的一 些展示可以在三维场景中实现。甚至整个训练课程都可以在虚拟现实中完成。 尽管三维图像已经成为主流,但是制作它们还需要花费很大的精力。只有使用一些适当 的专用工具才可能取得令人折服的效果。 Quest3D 是一个完美的交互式软件开发包。使用它你可以完成产品展示、建筑可视化、 虚拟训练和计算机游戏。 Qu
  3. 所属分类:其它

    • 发布日期:2013-03-25
    • 文件大小:6mb
    • 提供者:muyuyue
  1. java高级理论-2

  2. java高级理论 学习资料,对于基础学习、初学者均有较大帮助,参加培训班的资料,java学习必备资料
  3. 所属分类:JavaME

    • 发布日期:2018-10-04
    • 文件大小:57mb
    • 提供者:sq4693
  1. MySQL高级理论-MVCC提交查询相关(版本链)

  2. 首先要介绍几个概念: 1.    MVCC(Multi-Version Concurren):多版本并发控制,是MySQL的事务型存储引擎如InnoDB。 2.    trx_id与roll_pointer:MySQL会给每个表加2个字段,trx_id是事务字段id,roll_pointer为回滚字段。 3.    事务会有一个ID,只有更新(删除和插入是特性的更新)会生成事务ID。 4.    在事务中进行更新,会把原记录放到undo回滚日志里面,然后再插入一条新记录,这个新记录的roll_p
  3. 所属分类:其它

    • 发布日期:2020-12-14
    • 文件大小:256kb
    • 提供者:weixin_38710524
« 12 3 4 5 6 7 8 9 10 ... 21 »