Martin-Lof类型论程序设计导论 【数理化】

创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...

全国计算机等级考试上机过关教练 二级C语言程序设计 【工业技术】

全国计算机等级考试辅导丛书 Visual FoxPro程序设计 二级 【工业技术】

Visual Basic 6.0程序设计与上机指导 【工业技术】

21世纪中等职业技术教育计算机系列教材:本书通过大量具体的应用实例，详细地讲解了有关VB的集成开发环境、编程语言、用户图形界面的设计方法、系统菜单、数据库操作与多媒体编程等实用内容。 ...

国际设计传真 标志设计 下 【艺术】

国际设计传真 标志设计 上 【艺术】

高级语言程序设计应试指导及模拟试题 【工业技术】

本书内容包括：计算机应用技术考试概述、计算机应用技术考前模拟试题及参考答案、2001年上半年全国高等教育自学考试计算机应用技术试题及参考答案。...

Visual Basic 6.0程序设计实践指导 【工业技术】

浙江省高校计算机教学研究会推荐:全书分为3部分，第一部分为VisualBasic6.0实验；第二部分为上机测试练习题；第三部分为附录，收有2000年和2001年浙江省高校计算机等级考试试卷(二级VisualBasic)及参考答案等有关...

CAXA实体设计 机械设计篇 【工业技术】

Kylix应用程序设计 【工业技术】