张国军，许茏主编2013 年出版305 页ISBN：9787121196300
本书根据高等职业教育数控技术专业教学改革成果—专业培养方案和课程标准而编写，采用项目化的编写体例，内容实用、素材丰富。本书主要内容包括认识CAXA制造工程师2011软件、线架造型、曲面造型、实体特征造型...
吴功宜，董大凡，王珺等编著2011 年出版433 页ISBN：7302261469
本书共23章，第1章为本书的内容介绍与教学辅导，第2章～第23章提供22个网络软件编程题目，分为基础训练、综合训练与提高训练等3种不同的类型与5个不同的难度级。...
李平，王秀英主编；胡丽栓，孙雪，王育平编著2015 年出版270 页ISBN：9787111503088
本书是根据高等学校非计算机专业对计算机软件技术课．程的基本要求，结合多年来的教学实践经验编写的高等学校计算机软件技术基础课程教材。 全书共分9章，内容包括计算机软件技术基础概论、数据结构概述、数据的...
郭宁，闫俊伢主编；樊东燕，赵怡，董研汝副主编2016 年出版328 页ISBN：9787115393326
本书根据软件工程的最新发展，结合目前软件工程教学的需要，围绕软件工程的三大要素：过程、方法和工具，遵循软件开发“工程化”思想，结合大量的应用案例，系统地介绍软件工程的理论、方法以及应用技术。内容包括：......
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
