[C++] Logic+Programming+With+Prolog

说明： Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Fans of Logic Programming would say that 'different' means clearer, simpler and generally
<songfu1983> 在 上传 | 大小：964608

[专业指导] 2007++Fundamentals+of+Quantum+Optics+and+Quantum+Information.pdf

说明： Another book on Quantum Optics? or Quantum Information? Well, not exactly. A more descr iptive title might be: “A guided tour through basic quantum mechanics, quantum optics and quantum information”. Even better, a few words on its origin and our mo
<songfu1983> 在 上传 | 大小：2097152

[其它] A Tutorial on Uppaal

说明： This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide re
<songfu1983> 在 上传 | 大小：564224

[硬件开发] Systemc-Primer

说明： Systemc-PrimerSystemc-PrimerSystemc-PrimerSystemc-PrimerSystemc-Primer
<songfu1983> 在 上传 | 大小：6291456

[专业指导] 指针逻辑和分离逻辑的比较

说明： 指针逻辑的出发点是：所有不同的访问路径都代表不同的对象，除非能证明它们代表同一个对象。因此指针逻辑需要收集有效指针相等信息，以便知道哪些不同访问路径代表同一个对象。这是指针逻辑不用引入新连接词的原因。 这比较符合习惯：在通常的逻辑中，不相同的名字总代表不同的对象，没有别名的概念。Hoare逻辑就是基于不同名字代表不同对象。
<songfu1983> 在 上传 | 大小：104448

[其它] 高性能并行计算 迟学斌

说明： 迟学斌中国科学院计算机网络信息中心 介绍并行计算机的发展，当今并行计算机的主流发展方向；并 行计算的基本概念，并行算法的基本类型及设计技术；矩阵并行计算问题， 重点介绍并行矩阵乘法，线性代数方程组并行求解方法，代数特征值问题 的并行求解，经典迭代算法的并行化；并行程序设计技术，介绍并行程序 的特点和实现技术；并行实现环境MPI，介绍MPI 过程管理函数，掌 握用MPI 编写并行程序的方法；MPI 点对点通讯函数，全局通讯函数， 全局操作函数，进程组的操作；并行程序实现实例，剖析矩阵并行乘法的
<songfu1983> 在 上传 | 大小：1048576

[C#] 2004 - The Unified Modelling Language

说明： This volume comprises the final versions of the technical papers presented at the
UML 2004 conference held in Lisbon (Portugal), October 11–15, 2004.
UML 2004 was the seventh conference in a series of annual
UML conferences. The series started
<songfu1983> 在 上传 | 大小：4194304

[PHP] 电脑公司自助装机系统

说明： 电脑公司自助装机系统 1.程序简介 本程序采用php+mysql+phplib模板制作。 支持自助装机,客户在线装机订单,产品列表.分类 留言本,公司简介等等. 运行环境:PHP+MYSQL 2.安装使用 1.把文件包解压后上传到所需的文件夹. 2.把pcdiy.sql导入到你的MYSQL数据库中. 3.配置config.php,正确填写数据库连接密码. 4.后台管理地址:admin/index.php 帐号:admin 密码:admin 5.留言本管理员密码在book.php里设置,默认为a
<simon_rao> 在 上传 | 大小：1048576

[Java] 网页源码查看.可以观看网站上的各种源码？

说明： 网页源码查看.可以观看网站上的各种源码？
<qingfuqing> 在 上传 | 大小：297984

[C++] Accelerated C++ 中文版(PDF)

说明： 经典C++入门教程，适合于没有/有C基础的初学者。有大量的示例代码和详细的解说。PDF格式。
<zhiguozhang> 在 上传 | 大小：10485760

[Web开发] css3-cheat-sheet.pdf

说明： css3-cheat-sheet.pdf css3-cheat-sheet.pdf
<diy8187> 在 上传 | 大小：122880

[Java] 125条常见的java面试笔试题大汇总.pdf

说明： 125条常见的java面试笔试题大汇总.pdf 125条常见的java面试笔试题大汇总.pdf
<diy8187> 在 上传 | 大小：97280