Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[
资源简介：C语言程序设计_pdf C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选。 本书共10章，分别介绍了C语言的算法基础、基本概念和如何利用C语言进行程序设计。通过大量的实例介绍了C语言的精华，特别针对目前...
上传时间： 2013-11-30
上传用户：myworkpost
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选。 本书共10章，分别介绍了C语言的算法基础、基本概念和如何利用C语言进行程序设计。通过大量的实例介绍了C语言的精华，特别针对目前C语言的发展，精心策...
上传时间： 2013-12-29
上传用户：firstbyte
资源简介：迭代法是用于求方程或方程组近似根的一种常用的算法设计方法。
上传时间： 2015-08-14
上传用户：徐孺
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选 第一章
上传时间： 2017-01-07
上传用户：1079836864
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选 第二章
上传时间： 2017-01-07
上传用户：dragonhaixm
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选 第三章
上传时间： 2014-06-12
上传用户：lindor
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选 第四章
上传时间： 2017-01-07
上传用户：四只眼
资源简介：C语言是目前流行的通用程序设计语言，是许多计算机专业人员和计算机的爱好者学习程序设计语言的首选 第五章
上传时间： 2013-12-24
上传用户：wcl168881111111
资源简介：动态规划是对最优化问题的一种新的算法设计方法。由于各种问题的性质不同，确定最优解的条件也互不相同，因而动态规划的没计法对不同的问题，有各具特色的表示方式。
上传时间： 2017-03-05
上传用户：hustfanenze
资源简介：Kermit Kermit文件运输协议 Kermit文件运输协议是用于在PC之间交换文件的一种简单的文件运输协议。该协议是哥仑比亚大学开发的，由于在Kermit the Frog之后而获得此名。它提供了一条从大型计算机下载文件到微机的途径。它已被用于进行公用数据传输
上传时间： 2013-12-24
上传用户：咔乐坞
资源简介：摘 要:在分析人工鱼群算法存在不足的基础上,对人工鱼群算法加以改进,提出了一种改进型人工鱼群算 法。该算法提高了全局搜索能力和收敛速度,并用于求解具有变量边界约束的非线性复杂函数最优化问题。 仿真结果表明,改进后的人工鱼群算法具有精度高、搜索速度...
上传时间： 2013-12-23
上传用户：cainaifa
资源简介：摘 要:在分析人工鱼群算法存在不足的基础上,对人工鱼群算法加以改进,提出了一种改进型人工鱼群算 法。该算法提高了全局搜索能力和收敛速度,并用于求解具有变量边界约束的非线性复杂函数最优化问题。 仿真结果表明,改进后的人工鱼群算法具有精度高、搜索速度...
上传时间： 2013-12-12
上传用户：asasasas
资源简介：控制局域网CAN(Controller Area Network) 是20 世纪80 年代初德国Bosch 公司为解决众多的控制设备和测 试仪器之间的数据交换而开发的一种串行数据通讯协议。本文介绍了一种客车车身CAN 总线网络控制系统, 通过 研究CAN 2.0B 规范, 制定了符合该系统的通讯协...
上传时间： 2016-08-28
上传用户：chenbhdt
资源简介：Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言...
上传时间： 2014-11-26
上传用户：BIBI
资源简介：在远距离数据传输中进行差错控制一种重要的方法CRC算法。程序是用C语言实现。内有详细解释，可读性和移植性强。
上传时间： 2014-01-08
上传用户：佳期如梦
资源简介：java是一种面向对象程序的语言,我这里介绍了有关java课件的许多事例,它能帮助刚入门的人
上传时间： 2013-12-20
上传用户：qlpqlq
资源简介：AM12864液晶显示单片机驱动程序：AM12864是一种128*64的点阵液晶。这是一个AM12864的C语言单片机驱动程序。
上传时间： 2014-01-19
上传用户：sdq_123
资源简介：Python是一种不复杂但很健全的编程语言。它不光具备传统编译型程序设计语言强大的功能和复杂性，还在某种程度上具备比较简单的脚本和解释型程序设计语言的易用性。该书向读者介绍了这种语言的核心内容，并展示了Python语言可以完成哪些任务。其主要内容包括：...
上传时间： 2016-04-19
上传用户：kernaling
资源简介：PLC是以微处理器为核心的工业控制装置。在工业控制中,常常需要对PLC所采集的数据和工作状态进行监测控制,Visual C++是一种Windows应用程序开发工具,在图形处理和数据库管理等方面具有较强的功能,用它来实现底层的通信控制有着更快的速度。本文旨在探讨用可视...
上传时间： 2014-01-09
上传用户：lacsx
资源简介：该软件是一种分割引擎程序，主要在unix平台上用matlab和c/c++语言编写，很好很强大！
上传时间： 2013-12-20
上传用户：13215175592
资源简介：栈(stack)是程序设计过程中经常遇到朝气一种数据结构形式，它对于数据的存放和操作有下面这样的特点： 1) 它只有一个对数据进行存入和取出的端口； 2) 后进者先出，即最后被存入的数据将首先被取出。其形式很象一种存储硬币的小容器，每次只可以从顶端压入一...
上传时间： 2013-12-03
上传用户：225588
资源简介：UC/FS做的文件系统很好.高版本的一般只有库文件.CF卡是一种很方便的存储设备。网上可得到的CF卡的驱动程序少三个文件：初始化、读和写。本代码测试读写成功。
上传时间： 2015-04-22
上传用户：hustfanenze
资源简介：是一个能够将任何音频文件从一种格式转换到另一种格式的程序.软件支持时下最流行的MP3,WMA,OGG,WAV等格式.它也支持更改MP3或WMA格式音频文件的位率.转换速度快捷,转换效果出众.此外,有了转换列表,您可以一次就轻松地转换大量的音频文件.它还支持一些非常有用...
上传时间： 2016-07-11
上传用户：stvnash
资源简介：是一本关于matlab程序设计语言的电子书,是由西安电子科技大学出版社出版的
上传时间： 2016-11-03
上传用户：epson850
资源简介：本书是由C语言的设计者Brian W. Kernighan和Dennis M. Ritchie编写的一部介绍标准C语言及其程序设计方法的权威性经典著作。一本必读的程序设计语言方面的参考书。
上传时间： 2014-06-20
上传用户：cccole0605
资源简介：一种实现计算机接口rs232与FPGA通信的基于VHDL语言设计的一段非常简洁的程序
上传时间： 2014-01-09
上传用户：cazjing
资源简介：经典C语言程序设计事例,是一本初学者的C语言程序设计书籍。
上传时间： 2017-06-04
上传用户：jyycc
资源简介：一本介绍并行程序设计语言MPI的电子书，是您学习MPI并行程序设计时值得参考的东西。 MPI并行程序设计
上传时间： 2014-01-26
上传用户：qq521
资源简介：数据库的一种完全面向对象设计模式 面向对象（OO）方法这个名字早已深入人心，它的科学性和合理性也已毋庸置疑。 正在装载数据…… 人们动辄将自己开发的软件冠以“采用面向对象方法设计”以示其先进性就是一个极好的证明。然而，一个先进的方法学必须有...
上传时间： 2016-04-06
上传用户：lxm
资源简介：SOPC是一种新的系统设计技术，也是一种新的软硬件综合设计技术。通过它，可以很快地将硬件系统（包括微处理器，存储器，外设以及用户逻辑电路等）和软件设计都放在一个可编程的芯片中，以达到系统的IC设计.
上传时间： 2014-01-24
上传用户：iswlkje
