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

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

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

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

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

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

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

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

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

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

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

Visual C++程序设计与软件技术基础 【工业技术】

21世纪高等院校计算机系列教材:本书采用循序渐进逐步深入的方法，对VC的基础、Windows编程及面向对象程序设计方法进行了深入的讲解，同时介绍了软件工程及数据结构等计算机软件专业基础知识。...

城镇给排水工程程序设计 【工业技术】

本书的内容分为两大部分，第1章至第6章介绍给水管网平差和优化计算程序设计，第7章至第9章介绍给排水工程绘画程序设计，同时还举例介绍了编写程序软件的方法，并将工程设计中的计算和绘图两个重要环节合成一体。本...