Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[
上传时间： 2014-11-26
上传用户：BIBI
WinCE 串口通信 uart通信实验文档 内有主要代码
上传时间： 2015-10-03
上传用户：开怀常笑
IEEEXplore论文批量下载器。内附图示使用说明，界面精美，批量下载论文效率极高，而且可以自动抢线，永不再有满座请等待的痛苦！与Endnote结合使用简直是文献下载－管理的完美自动解决方案。提供源码，可以方便扩展到其它数据库。
标签： IEEEXplore 论文 下载器 使用说明
上传时间： 2013-12-17
上传用户：lwwhust
优秀的内网子机及端口嗅探器(附java代码).JMap is a Java network port scanner, a security tool to identify open ports on any host or network subnet.
标签： identify security network scanner
上传时间： 2014-01-03
上传用户：hn891122
图书馆管理系统,是数据库的课程设计,报告里面包含了需求分析\数据字典\概念结构设计\逻辑结构设计\数据库物理设计\数据库实施
上传时间： 2013-12-23
上传用户：zhangliming420
利用Visual C++的Windows SOCKET网络编程实现局域网内正在使用本程序的所有主机的群聊、两主机之间的点对点聊天和文件传送功能，且具有以下特点：通信完全是异步的；各用户是对等的，不区分客户机和服务器，任何用户启动或关闭程序都不会影响其他用户的正常使用；使用多线程传输文件。
上传时间： 2014-01-01
上传用户：jkhjkh1982
电子万年历制作的全部资料,可用单面板制作,顶层线比较少可用跳线,内用源码+原理图+PCB,可以显示到2050年的阴阳历,只须调整阳历.
上传时间： 2014-08-29
上传用户：guanliya
每一阶利用20ms内占空比的调整来控制亮暗的时间,从而实现渐变//此程序是实现渐暗的功能
上传时间： 2014-02-11
上传用户：13681659100
初识java内部类提起Java内部类（Inner Class）可能很多人不太熟悉，实际上类似的概念在C++里也有，那就是嵌套类（Nested Class），关于这两者的区别与联系，在下文中会有对比。
上传时间： 2014-12-04
上传用户：水口鸿胜电器
GSM协议的内容,内有本人阅读后留下的注解
上传时间： 2013-12-26
上传用户：极客
