Visual Basic开发指南 ASP和IIS篇 【工业技术】

由美国SYBEX公司授权出版:本书详细介绍了使用VB开发Web应用程序过程中所遇到的各种问题和所使用的新技术，包括WebClass、ASP、IIS、MTS、ADO等新技术，以及安全性、调试和错误处理、维持状态等实际问题。...

建筑安装工程施工技术资料管理实例应用手册 【工业技术】

《建筑安装工程施工技术资料管理实例应用手册》以个案与例示的形式，论述了汉英新词翻译理论、汉英土建工程术语翻译特点，以及“地方志”的英译、部分汉英流行新词新语的英译等。...

Intel 80C196单片机应用实践与C语言开发 【工业技术】

第九届全国青少年发明创造比赛和科学讨论会获奖作品集 【自然科学】

DV和网上电影实用教程 Final Cut Pro/iMovie 【工业技术】

“九五”国家重点出版物规划项目:本书共分三部分，第一部视频编辑，讲述了影片录入、编辑影片片段等；第二部分DV视频编辑，介绍了iMovie这个家庭DV视频编辑软件；第三部分Web视频，讨论了Web视频压缩、下载影片等。...

模糊人生 对人生迷惘和困惑的剖析与解悟 【哲学宗教】

本书从无序的逻辑上探讨人生成功的学问。所谓积极的人生就是对科学的不断探讨，对模糊的不断攻坚，把事物的模糊性一层层扯去，一层层地向人生的真境地中掘进，这掘进的过程，就是向人生的模糊性，也就是探讨人们怎样.....

最新Windows 2000应用基础教程 【工业技术】

这是一本关于Windows 2000 Professional操作使用的书籍。内容包括Windows 2000的基本操作，Windows 2000的文件管理，附件应用程序的使用、系统安全管理、计算机网络应用、磁盘管理、硬件设备的管理和系统维护...

有线电视宽带多媒体网络 原理、技术、发展战略与实际应用 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

跨向二十一世纪的思考：秦皇岛市跨世纪发展重大战略和现实问题研究 【经济】